A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories

zbMath1473.18002arXiv2101.05210MaRDI QIDQ5163479

Rowan Poklewski-Koziell

Publication date: 4 November 2021

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

zbMATH Keywords

Kleisli categorydagger categorylax functorEilenberg-Moore categoryFrobenius monad

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) 2-categories, bicategories, double categories (18N10) 2-dimensional monad theory (18N15) Formal category theory (18D70)

Cites Work

• Unnamed Item
• Unnamed Item
• Limits indexed by category-valued 2-functors
• The formal theory of monads. II
• The formal theory of monads
• Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22--25, 2015
• Monads on dagger categories
• Frobenius monads and pseudomonoids
• Categories for Quantum Theory