Index

\/, for IsCapCategoryMorphism, IsQuotientCategory 1.2-4
    for IsCapCategoryObject, IsQuotientCategory 1.2-6
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
    for IsQuotientCategoryObject, IsCapCategoryMorphism, IsQuotientCategoryObject 1.2-2
QuotientCategoryObject, for IsQuotientCategory, IsCapCategoryObject 1.2-5
UnderlyingCategory, for IsQuotientCategory 1.3-1
UnderlyingCell, for IsQuotientCategoryMorphism 1.3-4
    for IsQuotientCategoryObject 1.3-5