抽象代数范畴论中,子商(英语:Subquotient)是很常用的概念。这是子结构(例如子群、子模、子表示)与商结构(例如商群、商模、商表示)的推广。

固定一个范畴 。若 中的对象 能表成某对象 的子对象之商,则称 子商。在阿贝尔范畴的框架下皆可定义子商。在群论中,有时也将子商称为截面