Hopf measuring comonoids and enrichment

DOI10.1112/PLMS.12064MaRDI QIDQ4597587zbMATH OpenOpenAlexFDO

Authors Martin Hyland, Christina Vasilakopoulou, Ignacio López Franco

Publication date 13 December 2017

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1509.07632

zbMATH Keywords

universal measuring comonoidsHopf (co)monads

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Coalgebras and comodules; corings (16T15) Enriched categories (over closed or monoidal categories) (18D20)

Abstract: We study the existence of universal measuring comonoids $P(A,B)$ for a pair of monoids $A$, $B$ in a braided monoidal closed category, and the associated enrichment of a category of monoids over the monoidal category of comonoids. In symmetric categories, we show that if $A$ is a bimonoid and $B$ is a commutative monoid, then $P(A,B)$ is a bimonoid; in addition, if $A$ is a cocommutative Hopf monoid then $P(A,B)$ always is Hopf. If $A$ is a Hopf monoid, not necessarily cocommutative, then $P(A,B)$ is Hopf if the fundamental theorem of comodules holds; to prove this we give an alternative description of the dualizable $P(A,B)$-comodules and use the theory of Hopf (co)monads. We explore the examples of universal measuring comonoids in vector spaces and graded spaces.

Recommendations

• Hopf categories
• Universal constructions for Hopf algebras.
• Hopf comonads on naturally Frobenius map-monoidales
• On Hopf monoids in duoidal categories.
• Hopf monoidal comonads

Cited in

(17)

• The finite dual coalgebra as a quantization of the maximal spectrum
• Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
• Monoidal Grothendieck construction
• Sweedler theory of monads
• General comodule-contramodule correspondence
• V-universal Hopf algebras (co)acting on Ω-algebras
• A functorial excursion between algebraic geometry and linear logic
• The coalgebraic enrichment of algebras in higher categories
• Hopf monoids in varieties
• Oplax Hopf Algebras
• Bialgebra coverings and transfer of structure
• On measurings of algebras over operads and homology theories
• Comonadic base change for enriched categories
• On bimeasurings.
• Generalizations of the Sweedler dual
• Functors between representation categories. Universal modules
• Measurings of Hopf algebroids and morphisms in cyclic (co)homology theories

This page was built for publication: Hopf measuring comonoids and enrichment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4597587)