Algebra theory MOC

Hopf theory MOC

By “Hopf theory”¹ I mean the study of Hopf algebras and related constructions in the monoidal category .² As such, the notation of string diagrams is useful, both for giving proofs and building intuition.

Objects

• -comonoid
• -bimonoid
• Hopf algebra

Morphisms

• -comonoid morphism
• -bimonoid morphism
• Hopf algebra morphism

Internally

• Coïdeal
• Biïdeal

#MOC | #state/develop | #lang/en | #SemBr