Advertisement

Applied Categorical Structures

, Volume 27, Issue 6, pp 567–617 | Cite as

Distributive Laws via Admissibility

  • Charles WalkerEmail author
Article
  • 34 Downloads

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.

Keywords

KZ-doctrines Lax-idempotent pseudomonads Pseudo-distributive laws 

Mathematics Subject Classification

18A35 18C15 18D05 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Notes

References

  1. 1.
    Beck, J.: Distributive laws. In: Seminar on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), pp. 119–140. Springer, Berlin (1969)CrossRefGoogle Scholar
  2. 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)) MathSciNetCrossRefGoogle Scholar
  3. 3.
    Cheng, E., Hyland, M., Power, J.: Pseudo-distributive laws. Electron. Notes Theor. Comput. Sci. 83, 2832 (2003)CrossRefGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Day, B.J., Lack, S.: Limits of small functors. J. Pure Appl. Algebra 210, 651–663 (2007)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Diers, Y.: Catégories localisables, PhD thesis, Université de Paris VI (1977)Google Scholar
  7. 7.
    Gambino, N., Kock, J.: Polynomial functors and polynomial monads. Math. Proc. Camb. Philos. Soc. 154, 153–192 (2013)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Grandis, M., Pare, R.: Adjoints for double categories. Cah. Topol. Géom. Différ. Catég. 45, 193–240 (2004)MathSciNetzbMATHGoogle Scholar
  9. 9.
    Guitart, R.: Relations et carrés exacts. Ann. Sci. Math. Québec 4, 103–125 (1980)MathSciNetzbMATHGoogle Scholar
  10. 10.
    Im, G.B., Kelly, G.M.: A universal property of the convolution monoidal structure. J. Pure Appl. Algebra 43, 75–88 (1986)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Kelly, G.M.: On MacLane’s conditions for coherence of natural associativities, commutativities, etc. J. Algebra 1, 397–402 (1964)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Kelly, G.M.: Coherence theorems for lax algebras and for distributive laws. Lecture Notes Math. 420, 281–375 (1974)MathSciNetCrossRefGoogle Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    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)CrossRefGoogle Scholar
  15. 15.
    Kelly, G.M., Lack, S.: On property-like structures. Theory Appl. Categ. 3(9), 213–250 (1997)MathSciNetzbMATHGoogle Scholar
  16. 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)Google Scholar
  17. 17.
    Koudenburg, S.R.: Algebraic Kan extensions in double categories. Theory Appl. Categ. 30, 86–146 (2015)MathSciNetzbMATHGoogle Scholar
  18. 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)zbMATHGoogle Scholar
  19. 19.
    Lack, S.: Icons. Appl. Categ. Structures 18, 289–307 (2010)MathSciNetCrossRefGoogle Scholar
  20. 20.
    Leinster, T.: Higher Operads, Higher Categories. London Mathematical Society Lecture Note Series, vol. 298. Cambridge University Press, Cambridge (2004)CrossRefGoogle Scholar
  21. 21.
    Marmolejo, F.: Doctrines whose structure forms a fully faithful adjoint string. Theory Appl. Categ. 3(2), 24–44 (1997)MathSciNetzbMATHGoogle Scholar
  22. 22.
    Marmolejo, F.: Distributive laws for pseudomonads. Theory Appl. Categ. 5(5), 91–147 (1999)MathSciNetzbMATHGoogle Scholar
  23. 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)) MathSciNetCrossRefGoogle Scholar
  24. 24.
    Marmolejo, F., Wood, R.J.: Coherence for pseudodistributive laws revisited. Theory Appl. Categ. 20(5), 74–84 (2008)MathSciNetzbMATHGoogle Scholar
  25. 25.
    Marmolejo, F., Wood, R.J.: Kan extensions and lax idempotent pseudomonads. Theory Appl. Categ. 26(1), 1–29 (2012)MathSciNetzbMATHGoogle Scholar
  26. 26.
    Street, R., Walters, R.: Yoneda structures on 2-categories. J. Algebra 50, 350–379 (1978)MathSciNetCrossRefGoogle Scholar
  27. 27.
    Tanaka, M.: Pseudo-Distributive Laws and a Unified Framework for Variable Binding. PhD thesis, University of Edinburgh (2004)Google Scholar
  28. 28.
    Tholen, W.: Lax Distributive Laws for Topology, I (2016). arXiv:1603.06251
  29. 29.
    Walker, C.: Yoneda structures and KZ doctrines. J. Pure Appl. Algebra 222, 1375–1387 (2018)MathSciNetCrossRefGoogle Scholar
  30. 30.
    Weber, M.: Yoneda structures from 2-toposes. Appl. Categ. Struct. 15, 259–323 (2007)MathSciNetCrossRefGoogle Scholar
  31. 31.
    Weber, M.: Polynomials in categories with pullbacks. Theory Appl. Categ. 30(16), 533–598 (2015)MathSciNetzbMATHGoogle Scholar
  32. 32.
    Weber, M.: Algebraic Kan extensions along morphisms of internal algebra classifiers. Tbilisi Math. J. 9, 65–142 (2016)MathSciNetCrossRefGoogle Scholar
  33. 33.
    Zöberlein, V.: Doctrines on \(2\)-categories. Math. Z. 148, 267–279 (1976)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Nature B.V. 2019

Authors and Affiliations

  1. 1.Department of MathematicsMacquarie UniversitySydneyAustralia

Personalised recommendations