toAlgebraM

AlgebraOps

toCoalgebraM

CoalgebraOps