Monads on dagger categories

MaRDI QIDQ2953830zbMATH OpenFDO

Authors Chris Heunen, Martti Karvonen

Publication date 6 January 2017

Full work available at URL https://arxiv.org/abs/1602.04324, http://www.emis.de/journals/TAC/volumes/31/35/31-35abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

dagger categoryFrobenius monadKleisli category, Eilenberg-Moore category

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Abstract: The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when everything respects the dagger: the monad and adjunctions should preserve the dagger, and the monad and its algebras should satisfy the so-called Frobenius law. Then any monad resolves as an adjunction, with extremal solutions given by the categories of Kleisli and Frobenius-Eilenberg-Moore algebras, which again have a dagger. We characterize the Frobenius law as a coherence property between dagger and closure, and characterize strong such monads as being induced by Frobenius monoids.

Recommendations

• A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories
• Limits in dagger categories
• Scalars, monads and categories
• Reversible monadic computing
• Monads on higher monoidal categories

Cited in

(23)

• Frobenius structures over Hilbert C^*-modules
• The Morita theory of quantum graph isomorphisms
• Unitary transformations of fibre functors
• Reversible effects as inverse arrows
• Tensor topology
• Ordinals in Frobenius monads
• Dagger categories of tame relations
• A compositional approach to quantum functions
• Tensor-restriction categories
• The safari of update structures: visiting the lens and quantum enclosures
• Frobenius C∗-algebras and local adjunctions of C∗-correspondences
• A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories
• On involutive monoidal categories
• Inversion, iteration, and the art of dual wielding
• Limits in dagger categories
• Scalars, monads and categories
• A diagrammatic approach to quantum dynamics
• A covariant Stinespring theorem
• Reversible monadic computing
• A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations
• Moore-Penrose Dagger Categories
• Compositional reversible computation
• On monoids in the category of sets and relations

This page was built for publication: Monads on dagger categories

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