Index

AddCartesianSquareOfSubobjectClassifier, for IsCapCategory, IsFunction 1.10-1
AddClassifyingMorphismOfSubobject, for IsCapCategory, IsFunction 1.10-2
AddClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier, for IsCapCategory, IsFunction 1.10-3
AddCoproductComplement, for IsCapCategory, IsFunction 1.10-4
AddDirectProductComplement, for IsCapCategory, IsFunction 1.10-5
AddEmbeddingOfIntersectionSubobject, for IsCapCategory, IsFunction 1.10-6
AddEmbeddingOfIntersectionSubobjectWithGivenIntersection, for IsCapCategory, IsFunction 1.10-7
AddEmbeddingOfPseudoComplementSubobject, for IsCapCategory, IsFunction 1.10-8
AddEmbeddingOfPseudoComplementSubobjectWithGivenPseudoComplement, for IsCapCategory, IsFunction 1.10-9
AddEmbeddingOfRelativePseudoComplementSubobject, for IsCapCategory, IsFunction 1.10-10
AddEmbeddingOfRelativePseudoComplementSubobjectWithGivenImplication, for IsCapCategory, IsFunction 1.10-11
AddEmbeddingOfUnionSubobject, for IsCapCategory, IsFunction 1.10-12
AddEmbeddingOfUnionSubobjectWithGivenUnion, for IsCapCategory, IsFunction 1.10-13
AddExactCoverWithGlobalElements, for IsCapCategory, IsFunction 1.10-14
AddHasPushoutComplement, for IsCapCategory, IsFunction 1.10-15
AddIndexOfNonliftableMorphismFromDistinguishedObject, for IsCapCategory, IsFunction 1.10-16
AddInjectionOfCoproductComplement, for IsCapCategory, IsFunction 1.10-17
AddInjectionOfCoproductComplementWithGivenCoproductComplement, for IsCapCategory, IsFunction 1.10-18
AddIntersectionSubobject, for IsCapCategory, IsFunction 1.10-19
AddIsomorphismOntoCartesianSquareOfPowerObject, for IsCapCategory, IsFunction 1.10-20
AddIsomorphismOntoCartesianSquareOfPowerObjectWithGivenObjects, for IsCapCategory, IsFunction 1.10-21
AddLawvereTierneyEmbeddingsOfSubobjectClassifiers, for IsCapCategory, IsFunction 1.10-22
AddLawvereTierneyLocalModalityOperators, for IsCapCategory, IsFunction 1.10-23
AddLawvereTierneySubobjects, for IsCapCategory, IsFunction 1.10-24
AddLeftFiberMorphism, for IsCapCategory, IsFunction 1.10-25
AddLeftFiberMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.10-26
AddListOfSubobjects, for IsCapCategory, IsFunction 1.10-27
AddLowerSegmentOfRelation, for IsCapCategory, IsFunction 1.10-28
AddLowerSegmentOfRelationWithGivenRange, for IsCapCategory, IsFunction 1.10-29
AddNonliftableMorphismFromDistinguishedObject, for IsCapCategory, IsFunction 1.10-30
AddPLeftTransposeMorphism, for IsCapCategory, IsFunction 1.10-31
AddPLeftTransposeMorphismWithGivenRange, for IsCapCategory, IsFunction 1.10-32
AddPowerObject, for IsCapCategory, IsFunction 1.10-35
AddPowerObjectFunctorial, for IsCapCategory, IsFunction 1.10-36
AddPowerObjectFunctorialWithGivenPowerObjects, for IsCapCategory, IsFunction 1.10-37
AddPowerObjectLeftEvaluationMorphism, for IsCapCategory, IsFunction 1.10-38
AddPowerObjectLeftEvaluationMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.10-39
AddPowerObjectRightEvaluationMorphism, for IsCapCategory, IsFunction 1.10-40
AddPowerObjectRightEvaluationMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.10-41
AddPRightTransposeMorphism, for IsCapCategory, IsFunction 1.10-33
AddPRightTransposeMorphismWithGivenRange, for IsCapCategory, IsFunction 1.10-34
AddProjectionInDirectProductComplement, for IsCapCategory, IsFunction 1.10-42
AddProjectionInDirectProductComplementWithGivenDirectProductComplement, for IsCapCategory, IsFunction 1.10-43
AddPseudoComplementSubobject, for IsCapCategory, IsFunction 1.10-44
AddPushoutComplement, for IsCapCategory, IsFunction 1.10-45
AddRelativePseudoComplementSubobject, for IsCapCategory, IsFunction 1.10-46
AddRelativeTruthMorphismOfAnd, for IsCapCategory, IsFunction 1.10-47
AddRelativeTruthMorphismOfAndWithGivenObjects, for IsCapCategory, IsFunction 1.10-48
AddRelativeTruthMorphismOfFalse, for IsCapCategory, IsFunction 1.10-49
AddRelativeTruthMorphismOfFalseWithGivenObjects, for IsCapCategory, IsFunction 1.10-50
AddRelativeTruthMorphismOfImplies, for IsCapCategory, IsFunction 1.10-51
AddRelativeTruthMorphismOfImpliesWithGivenObjects, for IsCapCategory, IsFunction 1.10-52
AddRelativeTruthMorphismOfNot, for IsCapCategory, IsFunction 1.10-53
AddRelativeTruthMorphismOfNotWithGivenObjects, for IsCapCategory, IsFunction 1.10-54
AddRelativeTruthMorphismOfOr, for IsCapCategory, IsFunction 1.10-55
AddRelativeTruthMorphismOfOrWithGivenObjects, for IsCapCategory, IsFunction 1.10-56
AddRelativeTruthMorphismOfTrue, for IsCapCategory, IsFunction 1.10-57
AddRelativeTruthMorphismOfTrueWithGivenObjects, for IsCapCategory, IsFunction 1.10-58
AddRightFiberMorphism, for IsCapCategory, IsFunction 1.10-59
AddRightFiberMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.10-60
AddSingletonMorphism, for IsCapCategory, IsFunction 1.10-61
AddSingletonMorphismWithGivenPowerObject, for IsCapCategory, IsFunction 1.10-62
AddSubobjectClassifier, for IsCapCategory, IsFunction 1.10-63
AddSubobjectOfClassifyingMorphism, for IsCapCategory, IsFunction 1.10-64
AddTruthMorphismOfAnd, for IsCapCategory, IsFunction 1.10-65
AddTruthMorphismOfAndWithGivenObjects, for IsCapCategory, IsFunction 1.10-66
AddTruthMorphismOfFalse, for IsCapCategory, IsFunction 1.10-67
AddTruthMorphismOfFalseWithGivenObjects, for IsCapCategory, IsFunction 1.10-68
AddTruthMorphismOfImplies, for IsCapCategory, IsFunction 1.10-69
AddTruthMorphismOfImpliesWithGivenObjects, for IsCapCategory, IsFunction 1.10-70
AddTruthMorphismOfNot, for IsCapCategory, IsFunction 1.10-71
AddTruthMorphismOfNotWithGivenObjects, for IsCapCategory, IsFunction 1.10-72
AddTruthMorphismOfOr, for IsCapCategory, IsFunction 1.10-73
AddTruthMorphismOfOrWithGivenObjects, for IsCapCategory, IsFunction 1.10-74
AddTruthMorphismOfTrue, for IsCapCategory, IsFunction 1.10-75
AddTruthMorphismOfTrueWithGivenObjects, for IsCapCategory, IsFunction 1.10-76
AddUnionSubobject, for IsCapCategory, IsFunction 1.10-77
AddUpperSegmentOfRelation, for IsCapCategory, IsFunction 1.10-78
AddUpperSegmentOfRelationWithGivenRange, for IsCapCategory, IsFunction 1.10-79
AsMorphismInCategoryOfRelations, for IsCapCategoryMorphism 2.2-2
CartesianSquareOfSubobjectClassifier, for IsCapCategory 1.2-3
CategoryOfRelations, for IsCapCategory 2.2-1
ClassifyingMorphismOfSubobject, for IsCapCategoryMorphism 1.2-4
ClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier, for IsCapCategoryMorphism, IsCapCategoryObject 1.2-5
CoproductComplement, for IsCapCategoryMorphism 1.11-1
DigraphOfSubobjects, for IsCapCategoryObject 3.1-1
DirectProductComplement, for IsCapCategoryMorphism 1.11-4
DPO, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.8-1
EmbeddingOfIntersectionSubobject, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.6-5
EmbeddingOfIntersectionSubobjectWithGivenIntersection, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.6-6
EmbeddingOfPseudoComplementSubobject, for IsCapCategoryMorphism 1.6-2
EmbeddingOfPseudoComplementSubobjectWithGivenPseudoComplement, for IsCapCategoryMorphism, IsCapCategoryObject 1.6-3
EmbeddingOfRelationInDirectProduct, for IsMorphismInCategoryOfRelations 2.3-8
EmbeddingOfRelativePowerObject, for IsCapCategoryMorphism 1.4-21
EmbeddingOfRelativePseudoComplementSubobject, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.6-11
EmbeddingOfRelativePseudoComplementSubobjectWithGivenImplication, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.6-12
EmbeddingOfUnionSubobject, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.6-8
EmbeddingOfUnionSubobjectWithGivenUnion, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.6-9
ExactCoverWithGlobalElements, for IsCapCategoryObject 1.1-1
HasPushoutComplement, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.7-3
HonestRepresentative, for IsMorphismInCategoryOfRelations 2.3-13
IndexOfNonliftableMorphismFromDistinguishedObject, for IsCapCategoryMorphism 1.1-2
InjectionOfCoproductComplement, for IsCapCategoryMorphism 1.11-2
InjectionOfCoproductComplementWithGivenCoproductComplement, for IsCapCategoryMorphism, IsCapCategoryObject 1.11-3
IntersectionSubobject, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.6-4
IntersectWithPreimagesWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.4-20
IsCategoryOfRelations, for IsCapCategory 2.1-1
IsElementaryTopos, for IsCapCategory 1.2-1
IsHonest, for IsMorphismInCategoryOfRelations 2.4-1
IsMorphismInCategoryOfRelations, for IsCapCategoryMorphism 2.1-3
IsObjectInCategoryOfRelations, for IsCapCategoryObject 2.1-2
IsomorphismOntoCartesianSquareOfPowerObject, for IsCapCategoryObject 1.4-18
IsomorphismOntoCartesianSquareOfPowerObjectWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-19
LawvereTierneyEmbeddingsOfSubobjectClassifiers, for IsCapCategory 1.9-3
LawvereTierneyLocalModalityOperators, for IsCapCategory 1.9-1
LawvereTierneySubobjects, for IsCapCategory 1.9-2
LeftFiberMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.4-26
LeftFiberMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-27
ListOfSubobjects, for IsCapCategoryObject 1.2-7
LowerSegmentOfRelation, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.4-14
LowerSegmentOfRelationWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.4-15
MaximalRelationIntoTerminalObject, for IsObjectInCategoryOfRelations 2.3-5
MorphismByStandardizedSpan, for IsMorphismInCategoryOfRelations 2.3-12
NonliftableMorphismFromDistinguishedObject, for IsCapCategoryMorphism 1.1-3
PLeftTransposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.4-10
PLeftTransposeMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.4-11
PowerObject, for IsCapCategoryObject 1.4-1
PowerObjectFunctorial, for IsCapCategoryMorphism 1.4-2
PowerObjectFunctorialWithGivenPowerObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.4-3
PowerObjectLeftEvaluationMorphism, for IsCapCategoryObject 1.4-6
PowerObjectLeftEvaluationMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-7
PowerObjectRightEvaluationMorphism, for IsCapCategoryObject 1.4-4
PowerObjectRightEvaluationMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-5
PRightTransposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.4-8
PRightTransposeMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.4-9
ProjectionInDirectProductComplement, for IsCapCategoryMorphism 1.11-5
ProjectionInDirectProductComplementWithGivenDirectProductComplement, for IsCapCategoryMorphism, IsCapCategoryObject 1.11-6
PseudoComplementSubobject, for IsCapCategoryMorphism 1.6-1
PseudoInverse, for IsMorphismInCategoryOfRelations 2.3-6
PseudoInverseOfHonestMorphism, for IsCapCategoryMorphism 2.3-7
PushoutComplement, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.7-4
RangeProjection, for IsMorphismInCategoryOfRelations 2.3-10
RelativePowerObjectFibrationMorphism, for IsCapCategoryMorphism 1.4-22
RelativePowerObjectLeftEvaluationMorphism, for IsCapCategoryMorphism 1.4-23
RelativePseudoComplementSubobject, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.6-10
RelativeTruthMorphismOfAnd, for IsCapCategoryObject 1.5-7
RelativeTruthMorphismOfAndWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-8
RelativeTruthMorphismOfFalse, for IsCapCategoryObject 1.5-3
RelativeTruthMorphismOfFalseWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-4
RelativeTruthMorphismOfImplies, for IsCapCategoryObject 1.5-11
RelativeTruthMorphismOfImpliesWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-12
RelativeTruthMorphismOfNot, for IsCapCategoryObject 1.5-5
RelativeTruthMorphismOfNotWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-6
RelativeTruthMorphismOfOr, for IsCapCategoryObject 1.5-9
RelativeTruthMorphismOfOrWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-10
RelativeTruthMorphismOfTrue, for IsCapCategoryObject 1.5-1
RelativeTruthMorphismOfTrueWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-2
RightFiberMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.4-24
RightFiberMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-25
SingletonMorphism, for IsCapCategoryObject 1.4-16
SingletonMorphismWithGivenPowerObject, for IsCapCategoryObject, IsCapCategoryObject 1.4-17
SingletonSupportOfRelationsWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-28
SourceProjection, for IsMorphismInCategoryOfRelations 2.3-9
StandardizedSpan, for IsMorphismInCategoryOfRelations 2.3-11
SubobjectClassifier, for IsCapCategory 1.2-2
SubobjectOfClassifyingMorphism, for IsCapCategoryMorphism 1.2-6
TruthMorphismOfAnd, for IsCapCategory 1.3-7
TruthMorphismOfAndWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject 1.3-8
TruthMorphismOfFalse, for IsCapCategory 1.3-3
TruthMorphismOfFalseWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject 1.3-4
TruthMorphismOfImplies, for IsCapCategory 1.3-11
TruthMorphismOfImpliesWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject 1.3-12
TruthMorphismOfNot, for IsCapCategory 1.3-5
TruthMorphismOfNotWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject 1.3-6
TruthMorphismOfOr, for IsCapCategory 1.3-9
TruthMorphismOfOrWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject 1.3-10
TruthMorphismOfTrue, for IsCapCategory 1.3-1
TruthMorphismOfTrueWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject 1.3-2
UnderlyingCategory, for IsCategoryOfRelations 2.3-1
UnderlyingCell, for IsObjectInCategoryOfRelations 2.3-3
UnderlyingSpan, for IsMorphismInCategoryOfRelations 2.3-4
UnionSubobject, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.6-7
UnitObjectInCategoryOfRelations, for IsCategoryOfRelations 2.3-2
UpperSegmentOfRelation, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.4-12
UpperSegmentOfRelationWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.4-13