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

MaRDI QIDQ5163479zbMATH OpenFDO

Authors Rowan Poklewski-Koziell

Publication date 4 November 2021

Full work available at URL https://arxiv.org/abs/2101.05210, http://www.tac.mta.ca/tac/volumes/37/31/37-31abs.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 categoryEilenberg-Moore categoryFrobenius monadKleisli categorylax functor

Mathematics Subject Classification ID

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

Abstract: We define Frobenius-Eilenberg-Moore objects for a dagger Frobenius monad in an arbitrary dagger 2-category, and extend to the dagger context a well-known universal property of the formal theory of monads. We show that the free completion of a 2-category under Eilenberg-Moore objects extends to the dagger context, provided one is willing to work with such dagger Frobenius monads whose endofunctor part suitably commutes with their unit. Finally, we define dagger lax functors and dagger lax-limits of such functors, and show that Frobenius-Eilenberg-Moore objects are examples of such limits.

Recommendations

• Eilenberg-Moore and Kleisli type categories for bimonads on arbitrary categories
• The Eilenberg-Moore category and a Beck-type theorem for a Morita context
• Moduli of objects in dg-categories
• Frobenius monoidal functors of Dijkgraaf-Witten categories and rigid Frobenius algebras
• scientific article; zbMATH DE number 1366629
• Eilenberg-Watts theorem for 2-categories and quasi-monoidal structures for module categories over bialgebroid categories
• Applications of the Kleisli and Eilenberg-Moore 2-adjunctions
• A note on model structures on arbitrary Frobenius categories.
• Left Bousfield localization and Eilenberg-Moore categories
• On categories of equivariant \(\mathcal{D}\)-modules

Cites work

• Categories for Quantum Theory
• Frobenius algebras and ambidextrous adjunctions
• Frobenius monads and pseudomonoids
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• Limits indexed by category-valued 2-functors
• Monads on dagger categories
• Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22--25, 2015
• The formal theory of monads
• The formal theory of monads. II

Cited in

(5)

• Frobenius structures over Hilbert C^*-modules
• Frobenius objects in the category of relations
• Monads on dagger categories
• Q-system completion is a 3-functor
• Limits in dagger categories

This page was built for publication: A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories

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