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 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.
Similar content being viewed by others
References
Beck, J.: Distributive laws. In: Seminar on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), pp. 119–140. Springer, Berlin (1969)
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))
Cheng, E., Hyland, M., Power, J.: Pseudo-distributive laws. Electron. Notes Theor. Comput. Sci. 83, 2832 (2003)
Day, B.: On closed categories of functors. In: Reports of the Midwest Category Seminar, IV, Lecture Notes in Mathematics, Vol. 137, pp. 1–38. Springer, Berlin (1970)
Day, B.J., Lack, S.: Limits of small functors. J. Pure Appl. Algebra 210, 651–663 (2007)
Diers, Y.: Catégories localisables, PhD thesis, Université de Paris VI (1977)
Gambino, N., Kock, J.: Polynomial functors and polynomial monads. Math. Proc. Camb. Philos. Soc. 154, 153–192 (2013)
Grandis, M., Pare, R.: Adjoints for double categories. Cah. Topol. Géom. Différ. Catég. 45, 193–240 (2004)
Guitart, R.: Relations et carrés exacts. Ann. Sci. Math. Québec 4, 103–125 (1980)
Im, G.B., Kelly, G.M.: A universal property of the convolution monoidal structure. J. Pure Appl. Algebra 43, 75–88 (1986)
Kelly, G.M.: On MacLane’s conditions for coherence of natural associativities, commutativities, etc. J. Algebra 1, 397–402 (1964)
Kelly, G.M.: Coherence theorems for lax algebras and for distributive laws. Lecture Notes Math. 420, 281–375 (1974)
Kelly, G.M.: Doctrinal adjunction. In: Category Seminar (Proceedings Sydney Category Theory Seminar, 1972/1973). Lecture Notes in Mathematics, Vol. 420, pp. 257–280. Springer, Berlin (1974)
Kelly, G. M.: On clubs and doctrines. In: Category Seminar (Proceedings Sydney Category Theory Sem inar, Sydney, 1972/1973). Lecture Notes in Mathematics, Vol. 420, pp. 181–256. Springer, Berlin (1974)
Kelly, G.M., Lack, S.: On property-like structures. Theory Appl. Categ. 3(9), 213–250 (1997)
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)
Koudenburg, S.R.: Algebraic Kan extensions in double categories. Theory Appl. Categ. 30, 86–146 (2015)
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)
Lack, S.: Icons. Appl. Categ. Structures 18, 289–307 (2010)
Leinster, T.: Higher Operads, Higher Categories. London Mathematical Society Lecture Note Series, vol. 298. Cambridge University Press, Cambridge (2004)
Marmolejo, F.: Doctrines whose structure forms a fully faithful adjoint string. Theory Appl. Categ. 3(2), 24–44 (1997)
Marmolejo, F.: Distributive laws for pseudomonads. Theory Appl. Categ. 5(5), 91–147 (1999)
Marmolejo, F., Rosebrugh, R.D., Wood, R.J.: A basic distributive law. J. Pure Appl. Algebra 168, 209–226 (2002). (Category theory 1999 (Coimbra))
Marmolejo, F., Wood, R.J.: Coherence for pseudodistributive laws revisited. Theory Appl. Categ. 20(5), 74–84 (2008)
Marmolejo, F., Wood, R.J.: Kan extensions and lax idempotent pseudomonads. Theory Appl. Categ. 26(1), 1–29 (2012)
Street, R., Walters, R.: Yoneda structures on 2-categories. J. Algebra 50, 350–379 (1978)
Tanaka, M.: Pseudo-Distributive Laws and a Unified Framework for Variable Binding. PhD thesis, University of Edinburgh (2004)
Tholen, W.: Lax Distributive Laws for Topology, I (2016). arXiv:1603.06251
Walker, C.: Yoneda structures and KZ doctrines. J. Pure Appl. Algebra 222, 1375–1387 (2018)
Weber, M.: Yoneda structures from 2-toposes. Appl. Categ. Struct. 15, 259–323 (2007)
Weber, M.: Polynomials in categories with pullbacks. Theory Appl. Categ. 30(16), 533–598 (2015)
Weber, M.: Algebraic Kan extensions along morphisms of internal algebra classifiers. Tbilisi Math. J. 9, 65–142 (2016)
Zöberlein, V.: Doctrines on \(2\)-categories. Math. Z. 148, 267–279 (1976)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Ross Street.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author acknowledges the support of an Australian Government Research Training Program Scholarship.
Rights and permissions
About this article
Cite this article
Walker, C. Distributive Laws via Admissibility. Appl Categor Struct 27, 567–617 (2019). https://doi.org/10.1007/s10485-019-09567-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-019-09567-9