Distributive laws via admissibility

DOI10.1007/S10485-019-09567-9MaRDI QIDQ2011378zbMATH OpenOpenAlexFDO

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

KZ-doctrines Lax-idempotent pseudomonads pseudo-distributive laws

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)

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.

Recommendations

Cites work

Cited in

(10)

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)