/
, 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