‣ IsClosed ( A ) | ( operation ) |
The embedding of the meet-semilattice of formal single/multiple differences into the underlying lattice has a right adjoint, at least in case the underying lattice is a co-Heyting algebra. A formal single difference is closed if its component of the unit of the above adjunction is an isomorphism.
‣ IsOpen ( A ) | ( property ) |
Returns: true
or false
Check if the complement (a constructible object) of A is closed.
‣ IsLocallyClosed ( A ) | ( property ) |
Returns: true
or false
‣ UnderlyingCategory ( D ) | ( attribute ) |
Returns: a CAP category
The category underlying the meet-semilattice of single/multiple differences D.
‣ LocallyClosedPart ( A ) | ( attribute ) |
‣ CanonicalObject ( A ) | ( attribute ) |
‣ FactorizeObject ( A ) | ( attribute ) |
‣ Closure ( A ) | ( attribute ) |
Returns: an object in a co-Heyting algebra.
The closure of the formal single difference A in the underlying co-Heyting algebra.
‣ Dimension ( A ) | ( attribute ) |
‣ NormalizeObject ( A ) | ( operation ) |
‣ StandardizeObject ( A ) | ( operation ) |
‣ IsMeetSemilatticeOfDifferences ( object ) | ( filter ) |
Returns: true
or false
The GAP category of a meet-semilattice of single/multiple differences.
‣ IsObjectInMeetSemilatticeOfDifferences ( object ) | ( filter ) |
Returns: true
or false
The GAP category of objects in a meet-semilattice of single/multiple differences.
‣ IsMorphismInMeetSemilatticeOfDifferences ( morphism ) | ( filter ) |
Returns: true
or false
The GAP category of morphisms in a meet-semilattice of single/multiple differences.
generated by GAPDoc2HTML