子对象

子对象是子代数系概念的推广。它是商对象的对偶概念。设A，B为范畴的两个对象，若有单态射i:A→B，则称A为B的子对象。例如在环范畴中，环R的子环为 S 为R的子对象。子对象是子代数系概念的推广。它是商对象的对偶概念。