Distributive laws via admissibility

DOI10.1007/s10485-019-09567-9zbMath1444.18004arXiv1706.09575OpenAlexW2962828492MaRDI QIDQ2011378

Charles Walker

Publication date: 6 December 2019

Published in: Applied Categorical Structures (Search for Journal in Brave)

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

zbMATH Keywords

KZ-doctrinesLax-idempotent pseudomonadspseudo-distributive laws

Mathematics Subject Classification ID

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) Monoidal categories, symmetric monoidal categories (18M05)

Related Items

Differential 2-rigs, On the formal theory of pseudomonads and pseudodistributive laws

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pseudo-distributive laws
• Algebraic Kan extensions along morphisms of internal algebra classifiers
• Yoneda structures and KZ doctrines
• Limits of small functors
• Icons
• A universal property of the convolution monoidal structure
• Doctrines on 2-categories
• Yoneda structures on 2-categories
• On a bicomma object condition for KZ-doctrines
• Monads for which structures are adjoint to units
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Yoneda structures from 2-toposes
• A 2-Categories Companion
• Polynomial functors and polynomial monads
• Lax Distributive Laws for Topology, I
• Algebraic Kan extensions in double categories
• Polynomials in categories with pullbacks
• On closed categories of functors
• A basic distributive law