子对象

扩展释义

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