Two-dimensional monadicity

DOI10.1016/j.aim.2013.11.007zbMath1294.18004arXiv1212.5123OpenAlexW2056898140MaRDI QIDQ2445311

John Bourke

Publication date: 14 April 2014

Published in: Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

2-monad2-categorylax morphismweak morphismmonadicity\(F\)-category

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (6)

The Isbell monad ⋮ The Gray tensor product via factorisation ⋮ Algebraic weak factorisation systems. II: Categories of weak maps. ⋮ String diagrams for traced and compact categories are oriented 1-cobordisms ⋮ Enriched categories as a free cocompletion ⋮ On lifting of biadjoints and lax algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Comparing composites of left and right derived functors
• Enhanced 2-categories and limits for lax morphisms
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Limits for lax morphisms
• Homotopy-theoretic aspects of 2-monads
• Two-dimensional monad theory
• Beck's theorem for pseudo-monads
• Avoiding the axiom of choice in general category theory
• Kan extensions in enriched category theory
• Internal categories, anafunctors and localisations
• A 2-Categories Companion
• A characterization of pie limits

This page was built for publication: Two-dimensional monadicity