[MathJax on]
2 Category of relations
2.1 GAP categories
2.1-1 IsCategoryOfRelations
‣ IsCategoryOfRelations( arg ) | ( filter ) |
Returns: true or false
The GAP category of a category of relations
2.1-2 IsObjectInCategoryOfRelations
‣ IsObjectInCategoryOfRelations( arg ) | ( filter ) |
Returns: true or false
The GAP category of objects in a category of relations.
2.1-3 IsMorphismInCategoryOfRelations
‣ IsMorphismInCategoryOfRelations( arg ) | ( filter ) |
Returns: true or false
The GAP category of morphisms in a category of relations.
2.2 Constructors
2.2-1 CategoryOfRelations
‣ CategoryOfRelations( arg ) | ( attribute ) |
2.2-2 AsMorphismInCategoryOfRelations
‣ AsMorphismInCategoryOfRelations( arg ) | ( attribute ) |
2.3 Attributes
2.3-1 UnderlyingCategory
‣ UnderlyingCategory( arg ) | ( attribute ) |
2.3-2 UnitObjectInCategoryOfRelations
‣ UnitObjectInCategoryOfRelations( arg ) | ( attribute ) |
2.3-3 UnderlyingCell
‣ UnderlyingCell( arg ) | ( attribute ) |
2.3-4 UnderlyingSpan
‣ UnderlyingSpan( arg ) | ( attribute ) |
2.3-5 MaximalRelationIntoTerminalObject
‣ MaximalRelationIntoTerminalObject( arg ) | ( attribute ) |
2.3-6 PseudoInverse
‣ PseudoInverse( arg ) | ( attribute ) |
2.3-7 PseudoInverseOfHonestMorphism
‣ PseudoInverseOfHonestMorphism( arg ) | ( attribute ) |
2.3-8 EmbeddingOfRelationInDirectProduct
‣ EmbeddingOfRelationInDirectProduct( arg ) | ( attribute ) |
2.3-9 SourceProjection
‣ SourceProjection( arg ) | ( attribute ) |
2.3-10 RangeProjection
‣ RangeProjection( arg ) | ( attribute ) |
2.3-11 StandardizedSpan
‣ StandardizedSpan( arg ) | ( attribute ) |
2.3-12 MorphismByStandardizedSpan
‣ MorphismByStandardizedSpan( arg ) | ( attribute ) |
2.3-13 HonestRepresentative
‣ HonestRepresentative( arg ) | ( attribute ) |
2.4 Properties
2.4-1 IsHonest
‣ IsHonest( rho ) | ( property ) |
Returns: true or false
The input is a morphsm \rho in the category of relations. The output is true if the domain of \rho is an isomorphism.