Monads on dagger categories

zbMath1378.18003arXiv1602.04324MaRDI QIDQ2953830

Martti Karvonen, Chris Heunen

Publication date: 6 January 2017

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

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)

Related Items (16)

A covariant Stinespring theorem ⋮ Reversible effects as inverse arrows ⋮ Frobenius C∗-algebras and local adjunctions of C∗-correspondences ⋮ Tensor-restriction categories ⋮ Frobenius structures over Hilbert \(C^*\)-modules ⋮ Tensor topology ⋮ A compositional approach to quantum functions ⋮ A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations ⋮ The Safari of Update Structures: Visiting the Lens and Quantum Enclosures ⋮ Unnamed Item ⋮ Moore-Penrose Dagger Categories ⋮ The Morita theory of quantum graph isomorphisms ⋮ On monoids in the category of sets and relations ⋮ Inversion, Iteration, and the Art of Dual Wielding ⋮ A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories ⋮ Unitary transformations of fibre functors

This page was built for publication: Monads on dagger categories