‣ 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( category ) | ( 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