×

Distributive laws via admissibility. (English) Zbl 1444.18004

Summary: 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 problem of lifting a locally fully faithful KZ doctrine, which we noted earlier enjoys most of the axioms of a Yoneda structure, and show that a bijection between oplax and lax structures 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.

MSC:

18A35 Categories admitting limits (complete categories), functors preserving limits, completions
18C15 Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
18M05 Monoidal categories, symmetric monoidal categories

References:

[1] Beck, Jon, Distributive laws, 119-140 (1969), Berlin, Heidelberg · Zbl 0186.02902 · doi:10.1007/BFb0083084
[2] Bunge, M., Funk, J.: On a bicomma object condition for KZ-doctrines. J. Pure Appl. Algebra 143, 69-105 (1999). (Special volume on the occasion of the 60th birthday of Professor Michael Barr (Montreal, QC, 1997)) · Zbl 0935.18006 · doi:10.1016/S0022-4049(98)00108-X
[3] Cheng, E., Hyland, M., Power, J.: Pseudo-distributive laws. Electron. Notes Theor. Comput. Sci. 83, 2832 (2003) · Zbl 1338.18022 · doi:10.1016/S1571-0661(03)50012-3
[4] Day, Brian, On closed categories of functors, 1-38 (1970), Berlin, Heidelberg · Zbl 0203.31402
[5] Day, B.J., Lack, S.: Limits of small functors. J. Pure Appl. Algebra 210, 651-663 (2007) · Zbl 1120.18001 · doi:10.1016/j.jpaa.2006.10.019
[6] Diers, Y.: Catégories localisables, PhD thesis, Université de Paris VI (1977)
[7] Gambino, N., Kock, J.: Polynomial functors and polynomial monads. Math. Proc. Camb. Philos. Soc. 154, 153-192 (2013) · Zbl 1278.18013 · doi:10.1017/S0305004112000394
[8] Grandis, M., Pare, R.: Adjoints for double categories. Cah. Topol. Géom. Différ. Catég. 45, 193-240 (2004) · Zbl 1063.18002
[9] Guitart, R.: Relations et carrés exacts. Ann. Sci. Math. Québec 4, 103-125 (1980) · Zbl 0495.18008
[10] Im, G.B., Kelly, G.M.: A universal property of the convolution monoidal structure. J. Pure Appl. Algebra 43, 75-88 (1986) · Zbl 0604.18004 · doi:10.1016/0022-4049(86)90005-8
[11] Kelly, G.M.: On MacLane’s conditions for coherence of natural associativities, commutativities, etc. J. Algebra 1, 397-402 (1964) · Zbl 0246.18008 · doi:10.1016/0021-8693(64)90018-3
[12] Kelly, G.M.: Coherence theorems for lax algebras and for distributive laws. Lecture Notes Math. 420, 281-375 (1974) · Zbl 0334.18014 · doi:10.1007/BFb0063106
[13] Kelly, G. M., Doctrinal adjunction, 257-280 (1974), Berlin, Heidelberg · Zbl 0334.18004 · doi:10.1007/BFb0063105
[14] Kelly, G. M., On clubs and doctrines, 181-256 (1974), Berlin, Heidelberg · Zbl 0334.18018 · doi:10.1007/BFb0063104
[15] Kelly, G.M., Lack, S.: On property-like structures. Theory Appl. Categ. 3(9), 213-250 (1997) · Zbl 0935.18005
[16] Kock, A.: Monads for which structures are adjoint to units. Aarhus Preprint Series, No. 35 (1972/73). (Revised version published in J. Pure Appl. Algebra, 104) (1995) · Zbl 0849.18008
[17] Koudenburg, S.R.: Algebraic Kan extensions in double categories. Theory Appl. Categ. 30, 86-146 (2015) · Zbl 1351.18004
[18] Lack, S.: A 2-Categories Companion. Towards Higher Categories. The IMA Volumes in Mathematics and its Applications, vol. 152, pp. 105-191. Springer, New York (2010) · Zbl 1223.18003
[19] Lack, S.: Icons. Appl. Categ. Structures 18, 289-307 (2010) · Zbl 1205.18005 · doi:10.1007/s10485-008-9136-5
[20] Leinster, T.: Higher Operads, Higher Categories. London Mathematical Society Lecture Note Series, vol. 298. Cambridge University Press, Cambridge (2004) · Zbl 1160.18001 · doi:10.1017/CBO9780511525896
[21] Marmolejo, F.: Doctrines whose structure forms a fully faithful adjoint string. Theory Appl. Categ. 3(2), 24-44 (1997) · Zbl 0878.18004
[22] Marmolejo, F.: Distributive laws for pseudomonads. Theory Appl. Categ. 5(5), 91-147 (1999) · Zbl 0919.18004
[23] Marmolejo, F., Rosebrugh, R.D., Wood, R.J.: A basic distributive law. J. Pure Appl. Algebra 168, 209-226 (2002). (Category theory 1999 (Coimbra)) · Zbl 1005.18006 · doi:10.1016/S0022-4049(01)00097-4
[24] Marmolejo, F., Wood, R.J.: Coherence for pseudodistributive laws revisited. Theory Appl. Categ. 20(5), 74-84 (2008) · Zbl 1153.18005
[25] Marmolejo, F., Wood, R.J.: Kan extensions and lax idempotent pseudomonads. Theory Appl. Categ. 26(1), 1-29 (2012) · Zbl 1254.18005
[26] Street, R., Walters, R.: Yoneda structures on 2-categories. J. Algebra 50, 350-379 (1978) · Zbl 0401.18004 · doi:10.1016/0021-8693(78)90160-6
[27] Tanaka, M.: Pseudo-Distributive Laws and a Unified Framework for Variable Binding. PhD thesis, University of Edinburgh (2004)
[28] Tholen, W.: Lax Distributive Laws for Topology, I (2016). arXiv:1603.06251 · Zbl 1423.18027
[29] Walker, C.: Yoneda structures and KZ doctrines. J. Pure Appl. Algebra 222, 1375-1387 (2018) · Zbl 1382.18001 · doi:10.1016/j.jpaa.2017.07.004
[30] Weber, M.: Yoneda structures from 2-toposes. Appl. Categ. Struct. 15, 259-323 (2007) · Zbl 1125.18001 · doi:10.1007/s10485-007-9079-2
[31] Weber, M.: Polynomials in categories with pullbacks. Theory Appl. Categ. 30(16), 533-598 (2015) · Zbl 1330.18002
[32] Weber, M.: Algebraic Kan extensions along morphisms of internal algebra classifiers. Tbilisi Math. J. 9, 65-142 (2016) · Zbl 1342.18017 · doi:10.1515/tmj-2016-0006
[33] Zöberlein, V.: Doctrines on \[22\]-categories. Math. Z. 148, 267-279 (1976) · Zbl 0311.18005 · doi:10.1007/BF01214522
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.