Distributive laws via admissibility

DOI10.1007/S10485-019-09567-9zbMATH Open1444.18004arXiv1706.09575OpenAlexW2962828492MaRDI QIDQ2011378FDOQ2011378

Authors: Charles Walker 

Publication date: 6 December 2019

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

Abstract: This paper concerns the problem of lifting a KZ doctrine P to the 2-category of pseudo T-algebras for some pseudomonad T. Here we show that this problem is equivalent to giving a pseudo-distributive law (meaning that the lifted pseudomonad is automatically KZ), and that such distributive laws may be simply described algebraically and are essentially unique (as known to be the case in the (co)KZ over KZ setting). Moreover, we give a simple description of these distributive laws using Bunge and Funk's notion of admissible morphisms for a KZ doctrine (the principal goal of this paper). We then go on to show that the 2-category of KZ doctrines on a 2-category is biequivalent to a poset. We will also discuss here the case of lifting a locally fully faithful KZ doctrine, which we noted earlier enjoys most of the axioms of a Yoneda structure, and show that an oplax-lax bijection is exhibited on the lifted 'Yoneda structure' similar to Kelly's doctrinal adjunction. We also briefly discuss how this bijection may be viewed as a coherence result for oplax functors out of the bicategories of spans and polynomials, but leave the details for a future paper.

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

Recommendations

• scientific article; zbMATH DE number 1271223
• Distributive laws for pseudomonads. II
• On a bicomma object condition for KZ-doctrines
• Yoneda structures and KZ doctrines
• Pseudo-distributive laws

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)

Cites Work

• Monads for which structures are adjoint to units
• Pseudo-distributive laws
• A universal property of the convolution monoidal structure
• Yoneda structures on 2-categories
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Yoneda structures from 2-toposes
• Algebraic Kan extensions along morphisms of internal algebra classifiers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lax distributive laws for topology. I
• Algebraic Kan extensions in double categories
• Polynomials in categories with pullbacks
• Title not available (Why is that?)
• On closed categories of functors
• Icons
• Title not available (Why is that?)
• Doctrines on 2-categories
• Title not available (Why is that?)
• Limits of small functors
• A 2-categories companion
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coherence for pseudodistributive laws revisited
• Title not available (Why is that?)
• Polynomial functors and polynomial monads
• On a bicomma object condition for KZ-doctrines
• Kan extensions and lax idempotent pseudomonads
• Yoneda structures and KZ doctrines
• A basic distributive law

Cited In (10)

• Yoneda structures and KZ doctrines
• On the formal theory of pseudomonads and pseudodistributive laws
• Pseudo-distributive laws
• Differential 2-rigs
• Distributive laws for pseudomonads. II
• On a bicomma object condition for KZ-doctrines
• Coherence for pseudodistributive laws revisited
• A basic distributive law
• Lifting as a KZ-doctrine
• Title not available (Why is that?)

This page was built for publication: Distributive laws via admissibility

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