\/
, for IsCapCategoryMorphism, IsQuotientCategory 1.2-4 CongruencyTestFunctionForQuotientCategory
, for IsQuotientCategory 1.3-2 IsQuotientCategory
, for IsCapCategory 1.1-1 IsQuotientCategoryCell
, for IsCapCategoryCell 1.1-3 IsQuotientCategoryMorphism
, for IsQuotientCategoryCell and IsCapCategoryMorphism 1.1-2 IsQuotientCategoryObject
, for IsQuotientCategoryCell and IsCapCategoryObject 1.1-4 ProjectionFunctor
, for IsQuotientCategory 1.3-3 QuotientCategory
, for IsCapCategory, IsFunction 1.2-1 QuotientCategoryMorphism
, for IsQuotientCategory, IsCapCategoryMorphism 1.2-3 QuotientCategoryObject
, for IsQuotientCategory, IsCapCategoryObject 1.2-5 UnderlyingCategory
, for IsQuotientCategory 1.3-1 UnderlyingCell
, for IsQuotientCategoryMorphism 1.3-4
generated by GAPDoc2HTML