/, for IsCapCategoryCell, IsProsetOrPosetOfCapCategory 6.3-10 \*, for IsObjectInThinCategory, IsObjectInThinCategory 3.3-1 \+, for IsObjectInThinCategory, IsObjectInThinCategory 3.3-2 \-, for IsObjectInThinCategory, IsObjectInThinCategory 8.1-2 \[\], for IsConstructibleObject, IsInt 10.4-4 AddAreIsomorphicForObjectsIfIsHomSetInhabited, for IsCapCategory, IsFunction 1.4-1 AddConegationOnMorphisms, for IsCapCategory, IsFunction 5.3-1 AddConegationOnMorphismsWithGivenConegations, for IsCapCategory, IsFunction 5.3-2 AddConegationOnObjects, for IsCapCategory, IsFunction 5.3-3 AddIsEqualForObjectsIfIsHomSetInhabited, for IsCapCategory, IsFunction 2.2-1 AddMorphismFromDoubleConegation, for IsCapCategory, IsFunction 5.3-4 AddMorphismFromDoubleConegationWithGivenDoubleConegation, for IsCapCategory, IsFunction 5.3-5 AddMorphismFromDoubleNegation, for IsCapCategory, IsFunction 7.2-1 AddMorphismFromDoubleNegationWithGivenDoubleNegation, for IsCapCategory, IsFunction 7.2-2 AddMorphismToDoubleConegation, for IsCapCategory, IsFunction 7.2-3 AddMorphismToDoubleConegationWithGivenDoubleConegation, for IsCapCategory, IsFunction 7.2-4 AddMorphismToDoubleNegation, for IsCapCategory, IsFunction 4.3-1 AddMorphismToDoubleNegationWithGivenDoubleNegation, for IsCapCategory, IsFunction 4.3-2 AddNegationOnMorphisms, for IsCapCategory, IsFunction 4.3-3 AddNegationOnMorphismsWithGivenNegations, for IsCapCategory, IsFunction 4.3-4 AddNegationOnObjects, for IsCapCategory, IsFunction 4.3-5 AddUniqueMorphism, for IsCapCategory, IsFunction 1.4-2 AmbientCategory, for IsProsetOrPosetOfCapCategory 6.2-1 AreIsomorphicForObjectsIfIsHomSetInhabited, for IsCapCategoryObject, IsCapCategoryObject 1.3-1 AsCellOfPoset, for IsCapCategoryCell 6.3-8 AsCellOfProset, for IsCapCategoryCell 6.3-6 AsCellOfStablePoset, for IsCapCategoryCell 6.3-9 AsCellOfStableProset, for IsCapCategoryCell 6.3-7 AsMultipleDifference 9.1-2 AsSingleDifference, for IsObjectInMeetSemilatticeOfMultipleDifferences 9.2-1 AsUnionOfMultipleDifferences, for IsDatastructureForConstructibleObjects 11.3-9 Attach, for IsNodeInDatastructureOfConstructibleObjects, IsObjectInThinCategory, IsList 11.2-3 BooleanAlgebraOfConstructibleObjectsAsUnionOfDifferences, for IsCapCategory 10.1-3 BooleanAlgebraOfConstructibleObjectsAsUnionOfMultipleDifferences, for IsCapCategory 10.1-1 CanonicalObject, for IsConstructibleObject 10.3-3 CAP_INTERNAL_METHOD_NAME_LIST_FOR_PREORDERED_SET_OF_CATEGORY 6.1-1 Closure, for IsConstructibleObject 10.3-7 ClosureAsConstructibleObject, for IsConstructibleObject 10.3-8 ConegationOnMorphisms, for IsCapCategoryMorphism 5.1-2 ConegationOnMorphismsWithGivenConegations, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 5.1-3 ConegationOnObjects, for IsCapCategoryObject 5.1-1 CreateProsetOrPosetOfCategory, for IsCapCategory 6.3-1 DatastructureForConstructibleObject 11.2-1 DigraphOfChildren, for IsDatastructureForConstructibleObjects 11.3-11 DigraphOfParents, for IsDatastructureForConstructibleObjects 11.3-10 Dimension, for IsConstructibleObject 10.3-9 DistinguishedSubtrahend, for IsObjectInMeetSemilatticeOfSingleDifferences 8.2-2 FactorizeObject, for IsConstructibleObject 10.3-4 Factors, for IsObjectInThinCategory 3.2-1 FactorsAttr, for IsObjectInThinCategory 3.2-2 ForAllOp, for IsConstructibleObject, IsFunction 10.4-6 ForAnyOp, for IsConstructibleObject, IsFunction 10.4-7 FormalDifferenceOfNormalizedObjects, for IsObjectInThinCategory, IsObjectInThinCategory 8.1-2 InfoLocales 1.1-1 InfoSquashDatastructureForConstructibleObjects 11.1-1 IsBicartesianProset, for IsCapCategory 3.1-5 IsBiHeytingAlgebra, for IsCapCategory 7.3-2 IsBiHeytingAlgebroid, for IsCapCategory 7.3-1 IsBooleanAlgebra, for IsCapCategory 7.3-4 IsBooleanAlgebraOfConstructibleObjects, for IsCapCategory and IsThinCategory 10.5-1 IsBooleanAlgebraOfConstructibleObjectsAsUnionOfMultipleDifferences, for IsBooleanAlgebraOfConstructibleObjects 10.5-4 IsBooleanAlgebraOfConstructibleObjectsAsUnionOfSingleDifferences, for IsBooleanAlgebraOfConstructibleObjects 10.5-7 IsBooleanAlgebroid, for IsCapCategory 7.3-3 IsCapCategoryCellInPosetOfACategory, for IsCapCategoryCellInProsetOrPosetOfACategory 6.5-12 IsCapCategoryCellInProsetOfACategory, for IsCapCategoryCellInProsetOrPosetOfACategory 6.5-8 IsCapCategoryCellInProsetOrPosetOfACategory, for IsCapCategoryCell 6.5-4 IsCapCategoryCellInStableProsetOrPosetOfACategory, for IsCapCategoryCellInProsetOrPosetOfACategory 6.5-5 IsCapCategoryMorphismInPosetOfACategory, for IsCapCategoryCellInPosetOfACategory and IsMorphismInThinCategory 6.5-14 IsCapCategoryMorphismInProsetOfACategory, for IsCapCategoryCellInProsetOfACategory and IsMorphismInThinCategory 6.5-10 IsCapCategoryObjectInPosetOfACategory, for IsCapCategoryCellInPosetOfACategory and IsCapCategoryObjectInProsetOrPosetOfACategory 6.5-13 IsCapCategoryObjectInProsetOfACategory, for IsCapCategoryCellInProsetOfACategory and IsCapCategoryObjectInProsetOrPosetOfACategory 6.5-9 IsCapCategoryObjectInProsetOrPosetOfACategory, for IsCapCategoryCellInProsetOrPosetOfACategory and IsObjectInThinCategory 6.5-6 IsCartesianProset, for IsCapCategory 3.1-1 IsClosed, for IsConstructibleObject 10.2-2 IsClosedMonoidalLattice, for IsCapCategory 3.1-10 IsCocartesianProset, for IsCapCategory 3.1-3 IsCoclosedMonoidalLattice, for IsCapCategory 3.1-11 IsCoHeytingAlgebra, for IsCapCategory 5.4-2 IsCoHeytingAlgebroid, for IsCapCategory 5.4-1 IsConstructibleObject, for IsObjectInThinCategory 10.5-2 IsConstructibleObjectAsUnionOfMultipleDifferences, for IsConstructibleObject 10.5-5 IsConstructibleObjectAsUnionOfSingleDifferences, for IsConstructibleObject 10.5-8 IsDatastructureForConstructibleObjects, for IsAttributeStoringRep 11.4-1 IsDistributiveBicartesianProset, for IsCapCategory 3.1-7 IsDistributiveLattice, for IsCapCategory 3.1-8 IsDone, for IsDatastructureForConstructibleObjects 11.3-1 IsEqualForObjectsIfIsHomSetInhabited, for IsCapCategoryObject, IsCapCategoryObject 2.1-1 IsHeytingAlgebra, for IsCapCategory 4.4-2 IsHeytingAlgebroid, for IsCapCategory 4.4-1 IsHomSetInhabited, for IsNodeInDatastructureOfConstructibleObjects, IsNodeInDatastructureOfConstructibleObjects 11.3-4 IsJoinSemiLattice, for IsCapCategory 3.1-4 IsLattice, for IsCapCategory 3.1-6 IsLocallyClosed, for IsConstructibleObject 10.2-3 IsMeetSemiLattice, for IsCapCategory 3.1-2 IsMeetSemilatticeOfDifferences, for IsCapCategory and IsThinCategory 13.1-1 IsMeetSemilatticeOfMultipleDifferences, for IsMeetSemilatticeOfDifferences 9.4-1 IsMeetSemilatticeOfSingleDifferences, for IsMeetSemilatticeOfDifferences 8.3-1 IsMonoidalLattice, for IsCapCategory 3.1-9 IsMorphismBetweenConstructibleObjects, for IsMorphismInThinCategory 10.5-3 IsMorphismBetweenConstructibleObjectsAsUnionOfDifferences, for IsMorphismBetweenConstructibleObjects 10.5-9 IsMorphismBetweenConstructibleObjectsAsUnionOfMultipleDifferences, for IsMorphismBetweenConstructibleObjects 10.5-6 IsMorphismInMeetSemilatticeOfDifferences, for IsMorphismInThinCategory 13.1-3 IsMorphismInMeetSemilatticeOfMultipleDifferences, for IsMorphismInMeetSemilatticeOfDifferences 9.4-3 IsMorphismInMeetSemilatticeOfSingleDifferences, for IsMorphismInMeetSemilatticeOfDifferences 8.3-3 IsMorphismInThinCategory, for IsCapCategoryMorphism and IsMonomorphism and IsEpimorphism 1.5-2 IsNodeInDatastructureOfConstructibleObjects, for IsAttributeStoringRep 11.4-2 IsObjectInMeetSemilatticeOfDifferences, for IsObjectInThinCategory 13.1-2 IsObjectInMeetSemilatticeOfMultipleDifferences, for IsObjectInMeetSemilatticeOfDifferences 9.4-2 IsObjectInMeetSemilatticeOfSingleDifferences, for IsObjectInMeetSemilatticeOfDifferences 8.3-2 IsObjectInThinCategory, for IsCapCategoryObject 1.5-1 IsOpen, for IsConstructibleObject 10.2-1 IsPosetCategory, for IsCapCategory 2.3-1 IsPosetOfCapCategory, for IsProsetOrPosetOfCapCategory 6.5-11 IsProsetOfCapCategory, for IsProsetOrPosetOfCapCategory 6.5-7 IsProsetOrPosetOfCapCategory, for IsCapCategory 6.5-3 IsThinCategory, for IsCapCategory 1.6-1 Iterator, for IsConstructibleObject 10.4-5 Length, for IsConstructibleObject 10.4-3 ListOfObjectsInMeetSemilatticeOfDifferences, for IsConstructibleObjectAsUnionOfMultipleDifferences 10.4-8 ListOfSingleDifferences, for IsObjectInMeetSemilatticeOfMultipleDifferences 9.3-1 LocallyClosedPart, for IsConstructibleObject 10.3-2 MeetSemilatticeOfMultipleDifferences, for IsCapCategory 9.1-1 MeetSemilatticeOfSingleDifferences, for IsCapCategory 8.1-1 MinimalLevelOfPreNodes, for IsDatastructureForConstructibleObjects 11.3-2 MinuendAndSubtrahendInUnderlyingLattice, for IsObjectInMeetSemilatticeOfSingleDifferences 8.2-1 MorphismFromDoubleConegation, for IsCapCategoryObject 5.1-4 MorphismFromDoubleConegationWithGivenDoubleConegation, for IsCapCategoryObject, IsCapCategoryObject 5.1-5 MorphismFromDoubleNegation, for IsCapCategoryObject 7.1-1 MorphismFromDoubleNegationWithGivenDoubleNegation, for IsCapCategoryObject, IsCapCategoryObject 7.1-2 MorphismToDoubleConegation, for IsCapCategoryObject 7.1-3 MorphismToDoubleConegationWithGivenDoubleConegation, for IsCapCategoryObject, IsCapCategoryObject 7.1-4 MorphismToDoubleNegation, for IsCapCategoryObject 4.1-4 MorphismToDoubleNegationWithGivenDoubleNegation, for IsCapCategoryObject, IsCapCategoryObject 4.1-5 NegationOnMorphisms, for IsCapCategoryMorphism 4.1-2 NegationOnMorphismsWithGivenNegations, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 4.1-3 NegationOnObjects, for IsCapCategoryObject 4.1-1 NodeInDatastructureOfConstructibleObject, for IsDatastructureForConstructibleObjects, IsObjectInThinCategory, IsBool 11.2-2 NormalizedObject, for IsConstructibleObject 10.3-5 NormalizeObject, for IsConstructibleObject 10.4-1 Pop, for IsDatastructureForConstructibleObjects 11.3-3 PosetOfCategory, for IsCapCategory 6.3-4 ProsetOfCategory, for IsCapCategory 6.3-2 Remove, for IsNodeInDatastructureOfConstructibleObjects 11.3-5 RemoveObsoleteSubtrahends, for IsDatastructureForConstructibleObjects 11.3-7 Squash, for IsDatastructureForConstructibleObjects 11.3-8 SquashOnce, for IsDatastructureForConstructibleObjects 11.3-6 StableInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 5.2-1 StableInternalHom, for IsCapCategoryObject, IsCapCategoryObject 4.2-1 StablePosetOfCategory, for IsCapCategory 6.3-5 StableProsetOfCategory, for IsCapCategory 6.3-3 StandardizedObject, for IsConstructibleObject 10.3-6 StandardizeObject, for IsConstructibleObject 10.4-2 UnderlyingCategory, for IsBooleanAlgebraOfConstructibleObjects 10.3-1 UnderlyingCell, for IsCapCategoryCellInProsetOfACategory 6.2-2 UnionOfDifferences 10.1-4 UnionOfDifferencesOfNormalizedObjects 10.1-4 UnionOfMultipleDifferences 10.1-2 UniqueMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.2-1 Visualize, for IsDatastructureForConstructibleObjects 11.3-12
generated by GAPDoc2HTML