Skip to main content
Log in

Distributive Laws via Admissibility

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Beck, J.: Distributive laws. In: Seminar on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), pp. 119–140. Springer, Berlin (1969)

    Chapter  Google Scholar 

  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))

    Article  MathSciNet  Google Scholar 

  3. Cheng, E., Hyland, M., Power, J.: Pseudo-distributive laws. Electron. Notes Theor. Comput. Sci. 83, 2832 (2003)

    Article  Google Scholar 

  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. Day, B.J., Lack, S.: Limits of small functors. J. Pure Appl. Algebra 210, 651–663 (2007)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  8. Grandis, M., Pare, R.: Adjoints for double categories. Cah. Topol. Géom. Différ. Catég. 45, 193–240 (2004)

    MathSciNet  MATH  Google Scholar 

  9. Guitart, R.: Relations et carrés exacts. Ann. Sci. Math. Québec 4, 103–125 (1980)

    MathSciNet  MATH  Google Scholar 

  10. Im, G.B., Kelly, G.M.: A universal property of the convolution monoidal structure. J. Pure Appl. Algebra 43, 75–88 (1986)

    Article  MathSciNet  Google Scholar 

  11. Kelly, G.M.: On MacLane’s conditions for coherence of natural associativities, commutativities, etc. J. Algebra 1, 397–402 (1964)

    Article  MathSciNet  Google Scholar 

  12. Kelly, G.M.: Coherence theorems for lax algebras and for distributive laws. Lecture Notes Math. 420, 281–375 (1974)

    Article  MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  15. Kelly, G.M., Lack, S.: On property-like structures. Theory Appl. Categ. 3(9), 213–250 (1997)

    MathSciNet  MATH  Google Scholar 

  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)

  17. Koudenburg, S.R.: Algebraic Kan extensions in double categories. Theory Appl. Categ. 30, 86–146 (2015)

    MathSciNet  MATH  Google Scholar 

  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)

    MATH  Google Scholar 

  19. Lack, S.: Icons. Appl. Categ. Structures 18, 289–307 (2010)

    Article  MathSciNet  Google Scholar 

  20. Leinster, T.: Higher Operads, Higher Categories. London Mathematical Society Lecture Note Series, vol. 298. Cambridge University Press, Cambridge (2004)

    Book  Google Scholar 

  21. Marmolejo, F.: Doctrines whose structure forms a fully faithful adjoint string. Theory Appl. Categ. 3(2), 24–44 (1997)

    MathSciNet  MATH  Google Scholar 

  22. Marmolejo, F.: Distributive laws for pseudomonads. Theory Appl. Categ. 5(5), 91–147 (1999)

    MathSciNet  MATH  Google Scholar 

  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))

    Article  MathSciNet  Google Scholar 

  24. Marmolejo, F., Wood, R.J.: Coherence for pseudodistributive laws revisited. Theory Appl. Categ. 20(5), 74–84 (2008)

    MathSciNet  MATH  Google Scholar 

  25. Marmolejo, F., Wood, R.J.: Kan extensions and lax idempotent pseudomonads. Theory Appl. Categ. 26(1), 1–29 (2012)

    MathSciNet  MATH  Google Scholar 

  26. Street, R., Walters, R.: Yoneda structures on 2-categories. J. Algebra 50, 350–379 (1978)

    Article  MathSciNet  Google Scholar 

  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

  29. Walker, C.: Yoneda structures and KZ doctrines. J. Pure Appl. Algebra 222, 1375–1387 (2018)

    Article  MathSciNet  Google Scholar 

  30. Weber, M.: Yoneda structures from 2-toposes. Appl. Categ. Struct. 15, 259–323 (2007)

    Article  MathSciNet  Google Scholar 

  31. Weber, M.: Polynomials in categories with pullbacks. Theory Appl. Categ. 30(16), 533–598 (2015)

    MathSciNet  MATH  Google Scholar 

  32. Weber, M.: Algebraic Kan extensions along morphisms of internal algebra classifiers. Tbilisi Math. J. 9, 65–142 (2016)

    Article  MathSciNet  Google Scholar 

  33. Zöberlein, V.: Doctrines on \(2\)-categories. Math. Z. 148, 267–279 (1976)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Charles Walker.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-019-09567-9

Keywords

Mathematics Subject Classification

Navigation