Index

AsList, for IsObjectInSkeletalCategoryOfFiniteRightGSets 2.1-1
CardinalitiesOfObjects, for IsSkeletalCategoryOfTransitiveLeftGSets 3.1-5
Cardinality, for IsObjectInSkeletalCategoryOfTransitiveLeftGSets 3.1-9
CoequalizerMorphisms, for IsObjectInSkeletalCategoryOfTransitiveLeftGSets 3.1-11
EmbeddingOfUnderlyingGroupAsCategory, for IsSkeletalCategoryOfTransitiveLeftGSets 3.1-12
EndAsEqualizer 5.1-1
EndByLifts 5.1-2
ExtendFunctorToSkeletalCategoryOfTransitiveLeftGSets, for IsCapFunctor 3.1-13
FinRightGSet, for IsGroup, IsList 2.2-1
ForgetfulFunctorSkeletalCategoryOfFiniteRightGSets, for IsGroup 5.1-5
HomSkeletalFinRightGSets 5.1-4
IsMorphismInSkeletalCategoryOfFiniteRightGSets, for IsCapCategoryMorphism 2.4-3
IsMorphismInSkeletalCategoryOfTransitiveLeftGSets, for IsCapCategoryMorphism 3.4-3
IsObjectInSkeletalCategoryOfFiniteRightGSets, for IsCapCategoryObject 2.4-2
IsObjectInSkeletalCategoryOfTransitiveLeftGSets, for IsCapCategoryObject 3.4-2
IsSkeletalCategoryOfFiniteRightGSets, for IsCapCategory and IsSkeletalCategory 2.4-1
IsSkeletalCategoryOfTransitiveLeftGSets, for IsCapCategory and IsSkeletalCategory 3.4-1
MapOfFinGSets, for IsObjectInSkeletalCategoryOfFiniteRightGSets, IsList, IsObjectInSkeletalCategoryOfFiniteRightGSets 2.2-2
NumberOfObjects, for IsSkeletalCategoryOfTransitiveLeftGSets 3.1-4
ObjectNumber, for IsObjectInSkeletalCategoryOfTransitiveLeftGSets 3.1-7
PositionAndConjugatorOfStabilizer 4.1-1
ReconstructGroup 5.1-6
ReconstructTableOfMarks 5.1-3
RepresentativesOfSubgroupsUpToConjugation, for IsSkeletalCategoryOfTransitiveLeftGSets 3.1-6
Size, for IsObjectInSkeletalCategoryOfTransitiveLeftGSets 3.1-10
SkeletalCategoryOfFiniteRightGSets, for IsGroup 2.2-3
SkeletalCategoryOfTransitiveLeftGSets, for IsGroupAsCategory 3.2-1
UnderlyingGroup, for IsObjectInSkeletalCategoryOfFiniteRightGSets 2.1-2
    for IsSkeletalCategoryOfTransitiveLeftGSets 3.1-1
UnderlyingGroupAsCategory, for IsSkeletalCategoryOfTransitiveLeftGSets 3.1-2
UnderlyingGroupElement, for IsMorphismInSkeletalCategoryOfTransitiveLeftGSets 3.1-8
UnderlyingTableOfMarks, for IsSkeletalCategoryOfTransitiveLeftGSets 3.1-3