抽象代數範疇論中,子商(英語:Subquotient)是很常用的概念。這是子結構(例如子群、子模、子表示)與商結構(例如商群、商模、商表示)的推廣。

固定一個範疇 。若 中的對象 能表成某對象 的子對象之商,則稱 子商。在阿貝爾範疇的框架下皆可定義子商。在群論中,有時也將子商稱為截面