‣ IsCocommutative( B ) | ( property ) |
Returns: true or false
Check whether the bialgebroid B is cocommutative.
‣ IsHopfAlgebroid( B ) | ( property ) |
Returns: true or false
Check whether the antipode of B is actually an antipode.
‣ Counit( B ) | ( attribute ) |
Returns: a CAP functor
The counit of the bialgebroid B.
‣ Comultiplication( B ) | ( attribute ) |
Returns: a CAP functor
The comultiplication of the bialgebroid B.
‣ AddBialgebroidStructure( A, counit, comult ) | ( operation ) |
Returns: a CAP category
Add to the algebroid A a counit and a comultiplication using the defining records counit and comult, respectively.
‣ AddAntipode( B, S ) | ( operation ) |
Returns: a CAP category
Add to the bialgebroid B an antipode S.
‣ IsBialgebroid( arg ) | ( filter ) |
Returns: true or false
The GAP category of bialgebroids.
generated by GAPDoc2HTML