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