\*, for IsObjectInThinCategory, IsObjectInThinCategory 3.3-1 \+, for IsObjectInThinCategory, IsObjectInThinCategory 3.3-2 \-, for IsObjectInThinCategory, IsObjectInThinCategory 10.1-2 \[\], for IsConstructibleObject, IsInt 12.4-4 AddAreIsomorphicForObjectsIfIsHomSetInhabited, for IsCapCategory, IsFunction 1.6-1 AddConegationOnMorphisms, for IsCapCategory, IsFunction 5.4-1 AddConegationOnMorphismsWithGivenConegations, for IsCapCategory, IsFunction 5.4-2 AddConegationOnObjects, for IsCapCategory, IsFunction 5.4-3 AddIsEqualForObjectsIfIsHomSetInhabited, for IsCapCategory, IsFunction 2.3-1 AddMorphismFromDoubleConegation, for IsCapCategory, IsFunction 5.4-4 AddMorphismFromDoubleConegationWithGivenDoubleConegation, for IsCapCategory, IsFunction 5.4-5 AddMorphismFromDoubleNegation, for IsCapCategory, IsFunction 6.3-1 AddMorphismFromDoubleNegationWithGivenDoubleNegation, for IsCapCategory, IsFunction 6.3-2 AddMorphismToDoubleConegation, for IsCapCategory, IsFunction 6.3-3 AddMorphismToDoubleConegationWithGivenDoubleConegation, for IsCapCategory, IsFunction 6.3-4 AddMorphismToDoubleNegation, for IsCapCategory, IsFunction 4.4-1 AddMorphismToDoubleNegationWithGivenDoubleNegation, for IsCapCategory, IsFunction 4.4-2 AddNegationOnMorphisms, for IsCapCategory, IsFunction 4.4-3 AddNegationOnMorphismsWithGivenNegations, for IsCapCategory, IsFunction 4.4-4 AddNegationOnObjects, for IsCapCategory, IsFunction 4.4-5 AddUniqueMorphism, for IsCapCategory, IsFunction 1.6-2 AmbientCategory, for IsProsetOrPosetOfCapCategory 8.3-1 AreIsomorphicForObjectsIfIsHomSetInhabited, for IsCapCategoryObject, IsCapCategoryObject 1.4-1 AsMultipleDifference 11.1-2 AsSingleDifference, for IsObjectInMeetSemilatticeOfMultipleDifferences 11.2-1 AsUnionOfMultipleDifferences, for IsDatastructureForConstructibleObjects 14.3-9 Attach, for IsNodeInDatastructureOfConstructibleObjects, IsObjectInThinCategory, IsList 14.2-3 BooleanAlgebraOfConstructibleObjectsAsUnionOfDifferences, for IsCapCategory 12.1-3 BooleanAlgebraOfConstructibleObjectsAsUnionOfMultipleDifferences, for IsCapCategory 12.1-1 CanonicalObject, for IsConstructibleObject 12.3-3 CAP_INTERNAL_METHOD_NAME_LIST_FOR_PREORDERED_SET_OF_CATEGORY 8.1-1 Closure, for IsConstructibleObject 12.3-7 ClosureAsConstructibleObject, for IsConstructibleObject 12.3-8 ConegationOnMorphisms, for IsCapCategoryMorphism 5.2-2 ConegationOnMorphismsWithGivenConegations, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 5.2-3 ConegationOnObjects, for IsCapCategoryObject 5.2-1 CreateIntervalCategory 13.1-1 CreateProsetOrPosetOfCategory, for IsCapCategory 8.2-1 DatastructureForConstructibleObject 14.2-1 DigraphOfChildren, for IsDatastructureForConstructibleObjects 14.3-11 DigraphOfParents, for IsDatastructureForConstructibleObjects 14.3-10 DigraphOfPoset, for IsThinCategory and IsFiniteCategory 16.1-1 Dimension, for IsConstructibleObject 12.3-9 DistinguishedSubtrahend, for IsObjectInMeetSemilatticeOfSingleDifferences 10.2-2 FactorizeObject, for IsConstructibleObject 12.3-4 Factors, for IsObjectInThinCategory 3.2-1 FactorsAttr, for IsObjectInThinCategory 3.2-2 ForAllOp, for IsConstructibleObject, IsFunction 12.4-6 ForAnyOp, for IsConstructibleObject, IsFunction 12.4-7 FormalDifferenceOfNormalizedObjects, for IsObjectInThinCategory, IsObjectInThinCategory 10.1-2 InfoLocales 1.1-1 InfoSquashDatastructureForConstructibleObjects 14.1-1 IntervalCategory 13.1-2 IsBicartesianProset, for IsCapCategory 3.1-5 IsBiHeytingAlgebra, for IsCapCategory 6.1-2 IsBiHeytingAlgebroid, for IsCapCategory 6.1-1 IsBooleanAlgebra, for IsCapCategory 6.1-4 IsBooleanAlgebraOfConstructibleObjects, for IsCategoryWithoutMorphismData 12.5-1 IsBooleanAlgebraOfConstructibleObjectsAsUnionOfMultipleDifferences, for IsBooleanAlgebraOfConstructibleObjects 12.5-4 IsBooleanAlgebraOfConstructibleObjectsAsUnionOfSingleDifferences, for IsBooleanAlgebraOfConstructibleObjects 12.5-7 IsBooleanAlgebroid, for IsCapCategory 6.1-3 IsCartesianProset, for IsCapCategory 3.1-1 IsCategoryWithoutMorphismData, for IsCapCategory 1.5-1 IsCellInIntervalCategory, for IsCapCategoryCell 13.3-2 IsCellInPosetOfCategory, for IsCellInProsetOrPosetOfCategory 8.5-12 IsCellInProsetOfCategory, for IsCellInProsetOrPosetOfCategory 8.5-8 IsCellInProsetOrPosetOfCategory, for IsCapCategoryCell 8.5-4 IsCellInStableProsetOrPosetOfCategory, for IsCellInProsetOrPosetOfCategory 8.5-5 IsClosed, for IsConstructibleObject 12.2-2 IsClosedMonoidalLattice, for IsCapCategory 3.1-10 IsClosedMonoidalPoset, for IsCapCategory 2.1-4 IsClosedMonoidalProset, for IsCapCategory 1.3-3 IsCocartesianProset, for IsCapCategory 3.1-3 IsCoclosedMonoidalLattice, for IsCapCategory 3.1-11 IsCoclosedMonoidalPoset, for IsCapCategory 2.1-5 IsCoclosedMonoidalProset, for IsCapCategory 1.3-4 IsCoHeytingAlgebra, for IsCapCategory 5.1-2 IsCoHeytingAlgebroid, for IsCapCategory 5.1-1 IsConstructibleObject, for IsObjectInThinCategory 12.5-2 IsConstructibleObjectAsUnionOfMultipleDifferences, for IsConstructibleObject 12.5-5 IsConstructibleObjectAsUnionOfSingleDifferences, for IsConstructibleObject 12.5-8 IsDatastructureForConstructibleObjects, for IsAttributeStoringRep 14.4-1 IsDistributiveBicartesianProset, for IsCapCategory 3.1-7 IsDistributiveLattice, for IsCapCategory 3.1-8 IsDone, for IsDatastructureForConstructibleObjects 14.3-1 IsEqualForObjectsIfIsHomSetInhabited, for IsCapCategoryObject, IsCapCategoryObject 2.2-1 IsHeytingAlgebra, for IsCapCategory 4.1-2 IsHeytingAlgebroid, for IsCapCategory 4.1-1 IsHomSetInhabited, for IsNodeInDatastructureOfConstructibleObjects, IsNodeInDatastructureOfConstructibleObjects 14.3-4 IsIntervalCategory, for IsCapCategory 13.3-1 IsJoinSemiLattice, for IsCapCategory 3.1-4 IsLattice, for IsCapCategory 3.1-6 IsLocallyClosed, for IsConstructibleObject 12.2-3 IsMeetSemiLattice, for IsCapCategory 3.1-2 IsMeetSemilatticeOfDifferences, for IsCategoryWithoutMorphismData 9.4-1 IsMeetSemilatticeOfMultipleDifferences, for IsMeetSemilatticeOfDifferences 11.4-1 IsMeetSemilatticeOfSingleDifferences, for IsMeetSemilatticeOfDifferences 10.3-1 IsMonoidalLattice, for IsCapCategory 3.1-9 IsMonoidalPoset, for IsCapCategory 2.1-3 IsMonoidalProset, for IsCapCategory 1.3-2 IsMorphismBetweenConstructibleObjects, for IsMorphismInThinCategory 12.5-3 IsMorphismBetweenConstructibleObjectsAsUnionOfDifferences, for IsMorphismBetweenConstructibleObjects 12.5-9 IsMorphismBetweenConstructibleObjectsAsUnionOfMultipleDifferences, for IsMorphismBetweenConstructibleObjects 12.5-6 IsMorphismInIntervalCategory, for IsCellInIntervalCategory and IsCapCategoryMorphism 13.3-4 IsMorphismInMeetSemilatticeOfDifferences, for IsMorphismInThinCategory 9.4-3 IsMorphismInMeetSemilatticeOfMultipleDifferences, for IsMorphismInMeetSemilatticeOfDifferences 11.4-3 IsMorphismInMeetSemilatticeOfSingleDifferences, for IsMorphismInMeetSemilatticeOfDifferences 10.3-3 IsMorphismInPosetOfCategory, for IsCellInPosetOfCategory and IsMorphismInThinCategory 8.5-14 IsMorphismInProsetOfCategory, for IsCellInProsetOfCategory and IsMorphismInThinCategory 8.5-10 IsMorphismInThinCategory, for IsCapCategoryMorphism and IsMonomorphism and IsEpimorphism 1.5-3 IsNodeInDatastructureOfConstructibleObjects, for IsAttributeStoringRep 14.4-2 IsObjectInIntervalCategory, for IsCellInIntervalCategory and IsCapCategoryObject 13.3-3 IsObjectInMeetSemilatticeOfDifferences, for IsObjectInThinCategory 9.4-2 IsObjectInMeetSemilatticeOfMultipleDifferences, for IsObjectInMeetSemilatticeOfDifferences 11.4-2 IsObjectInMeetSemilatticeOfSingleDifferences, for IsObjectInMeetSemilatticeOfDifferences 10.3-2 IsObjectInPosetOfCategory, for IsCellInPosetOfCategory and IsObjectInProsetOrPosetOfCategory 8.5-13 IsObjectInProsetOfCategory, for IsCellInProsetOfCategory and IsObjectInProsetOrPosetOfCategory 8.5-9 IsObjectInProsetOrPosetOfCategory, for IsCellInProsetOrPosetOfCategory and IsObjectInThinCategory 8.5-6 IsObjectInThinCategory, for IsCapCategoryObject 1.5-2 IsOpen, for IsConstructibleObject 12.2-1 IsPosetCategory, for IsCapCategory 2.1-1 IsPosetOfCapCategory, for IsProsetOrPosetOfCapCategory 8.5-11 IsProsetAsCategory, for IsCategoryWithoutMorphismData 7.3-1 IsProsetOfCapCategory, for IsProsetOrPosetOfCapCategory 8.5-7 IsProsetOrPosetOfCapCategory, for IsCapCategory 8.5-3 IsSymmetricClosedMonoidalLattice, for IsCapCategory 3.1-13 IsSymmetricClosedMonoidalPoset, for IsCapCategory 2.1-7 IsSymmetricClosedMonoidalProset, for IsCapCategory 1.3-6 IsSymmetricCoclosedMonoidalLattice, for IsCapCategory 3.1-14 IsSymmetricCoclosedMonoidalPoset, for IsCapCategory 2.1-8 IsSymmetricCoclosedMonoidalProset, for IsCapCategory 1.3-7 IsSymmetricMonoidalLattice, for IsCapCategory 3.1-12 IsSymmetricMonoidalPoset, for IsCapCategory 2.1-6 IsSymmetricMonoidalProset, for IsCapCategory 1.3-5 IsThinCategory, for IsCapCategory 1.3-1 IsTotalOrderCategory, for IsCapCategory 2.1-2 Iterator, for IsConstructibleObject 12.4-5 Length, for IsConstructibleObject 12.4-3 ListOfObjectsInMeetSemilatticeOfDifferences, for IsConstructibleObjectAsUnionOfSingleDifferences 12.4-9 ListOfObjectsInMeetSemilatticeOfMultipleDifferences, for IsConstructibleObjectAsUnionOfMultipleDifferences 12.4-8 ListOfSingleDifferences, for IsObjectInMeetSemilatticeOfMultipleDifferences 11.3-1 LocallyClosedPart, for IsConstructibleObject 12.3-2 MeetSemilatticeOfMultipleDifferences, for IsCapCategory 11.1-1 MeetSemilatticeOfSingleDifferences, for IsCapCategory 10.1-1 MinimalLevelOfPreNodes, for IsDatastructureForConstructibleObjects 14.3-2 MinuendAndSubtrahendInUnderlyingLattice, for IsObjectInMeetSemilatticeOfSingleDifferences 10.2-1 MorphismFromDoubleConegation, for IsCapCategoryObject 5.2-4 MorphismFromDoubleConegationWithGivenDoubleConegation, for IsCapCategoryObject, IsCapCategoryObject 5.2-5 MorphismFromDoubleNegation, for IsCapCategoryObject 6.2-1 MorphismFromDoubleNegationWithGivenDoubleNegation, for IsCapCategoryObject, IsCapCategoryObject 6.2-2 MorphismToDoubleConegation, for IsCapCategoryObject 6.2-3 MorphismToDoubleConegationWithGivenDoubleConegation, for IsCapCategoryObject, IsCapCategoryObject 6.2-4 MorphismToDoubleNegation, for IsCapCategoryObject 4.2-4 MorphismToDoubleNegationWithGivenDoubleNegation, for IsCapCategoryObject, IsCapCategoryObject 4.2-5 NegationOnMorphisms, for IsCapCategoryMorphism 4.2-2 NegationOnMorphismsWithGivenNegations, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 4.2-3 NegationOnObjects, for IsCapCategoryObject 4.2-1 NodeInDatastructureOfConstructibleObject, for IsDatastructureForConstructibleObjects, IsObjectInThinCategory, IsBool 14.2-2 NormalizedObject, for IsConstructibleObject 12.3-5 NormalizeObject, for IsConstructibleObject 12.4-1 Pop, for IsDatastructureForConstructibleObjects 14.3-3 PosetOfCategory, for IsCapCategory 8.2-4 ProsetAsCategory, for IsRecord 7.1-1 ProsetOfCategory, for IsCapCategory 8.2-2 Remove, for IsNodeInDatastructureOfConstructibleObjects 14.3-5 RemoveObsoleteSubtrahends, for IsDatastructureForConstructibleObjects 14.3-7 SkeletalDiscreteCategory, for IsString 7.1-2 Squash, for IsDatastructureForConstructibleObjects 14.3-8 SquashOnce, for IsDatastructureForConstructibleObjects 14.3-6 StableInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 5.3-1 StableInternalHom, for IsCapCategoryObject, IsCapCategoryObject 4.3-1 StablePosetOfCategory, for IsCapCategory 8.2-5 StableProsetOfCategory, for IsCapCategory 8.2-3 StandardizedObject, for IsConstructibleObject 12.3-6 StandardizeObject, for IsConstructibleObject 12.4-2 TotalOrderAsCategory, for IsString, IsFunction 7.1-3 UnderlyingCategory, for IsBooleanAlgebraOfConstructibleObjects 12.3-1 UnderlyingDatum, for IsObjectInThinCategory 7.2-5 UnderlyingGapObject, for IsObjectInProsetOfCategory 8.3-2 UnderlyingGapObjectEqualityFunction, for IsProsetAsCategory 7.2-3 UnderlyingGapObjectFilter, for IsProsetAsCategory 7.2-1 UnderlyingGapObjectMembershipFunction, for IsProsetAsCategory 7.2-2 UnderlyingMorphism, for IsMorphismInPosetOfCategory 8.3-3 UnderlyingPreorderFunction, for IsProsetAsCategory 7.2-4 UnionOfDifferences 12.1-4 UnionOfDifferencesOfNormalizedObjects 12.1-4 UnionOfMultipleDifferences 12.1-2 UniqueMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.2-1 Visualize, for IsCapCategory 14.3-13
generated by GAPDoc2HTML