‣ IsCommutative( A ) | ( property ) |
Returns: true or false
Check whether the algebroid A is commutative.
‣ IsCounitary( B ) | ( property ) |
Returns: true or false
Check whether B is counitary.
‣ IsCoassociative( B ) | ( property ) |
Returns: true or false
Check whether B is coassociative.
‣ AsCapCategory( arg ) | ( attribute ) |
‣ AsCapFunctor( arg ) | ( attribute ) |
‣ Twist( A, B ) | ( operation ) |
Returns: a CAP functor
Construct the canonical twist from A \otimes B to B \otimes A
‣ CategoryOfAlgebroids( arg1, arg2 ) | ( operation ) |
‣ CategoryOfAlgebroidsObject( arg ) | ( attribute ) |
‣ CategoryOfAlgebroidsMorphism( arg1, arg2, arg3 ) | ( operation ) |
‣ CategoryOfAlgebroidsMorphism( arg ) | ( operation ) |
‣ IsCategoryOfAlgebroidsObject( object ) | ( filter ) |
Returns: true or false
The GAP category of objects in the category of algebroids over a ring R.
‣ IsCategoryOfAlgebroidsMorphism( object ) | ( filter ) |
Returns: true or false
The GAP category of morphisms in the category of algebroids over a ring R.
generated by GAPDoc2HTML