Distributive Laws for Relative Monads - Applied Categorical Structures

1. Aczel, P.: The type theoretic interpretation of constructive set theory. Volume 77 of Logic Colloquium, pp. 55–66, North-Holland (1978)

2. Ahrens, B.: Initiality for typed syntax and semantics. In: Ong, L., de Queiroz, R. (eds.) Logic. Language, Information and Computation, pp. 127–141. Berlin, Heidelberg (2012)

   Google Scholar 

3. Ahrens, B.: Modules over relative monads for syntax and semantics. Math. Struct. Comput. Sci. 26(1), 3–37 (2016)

   Article  MathSciNet  MATH  Google Scholar 

4. Altenkirch, T., Chapman, J., Uustalu, T.: Monads need not to be endofunctors. Log. Methods Comput. Sci. 11(1:3), 1–40 (2015)

   MathSciNet  MATH  Google Scholar 

5. Arkor, N.: Monadic and Higher-Order Structure. PhD thesis, University of Cambridge, (2022)

6. Barr, M., Wells, C.: Toposes, Triples and Theories. Springer (1985)

7. Barwise, J.: Admissible Sets and Structures. Cambridge University Press (2017)

8. Beck, J.: Distributive laws. In Seminar on Triples and Categorical Homology Theory, volume 80 of Lecture Notes in Mathematics. Springer (1969)

9. Blackwell, R., Kelly, G.M., Power, A.J.: Two-dimensional monad theory. J. Pure Appl. Algebra 59(1), 1–41 (1989)

   Article  MathSciNet  MATH  Google Scholar 

10. Bourke, J.: Codescent objects in 2-dimensional universal algebra. PhD thesis, University of Sidney, (2010)

11. Fiore, M., Gambino, N., Hyland, M., Winskel, G.: Relative pseudomonads, kleisli bicategories, and substitution monoidal structures. Selecta Mathematica (2017)

12. Gray, J.W.: Formal category theory: Adjointness for 2-categories. In Lecture Notes in Mathematics, volume 391 (1974)

13. Hernández, E.R.: Another characterization of no-iteration distributive laws. preprint, arXiv:1910.06531v2 (2020)

14. Hyland, M.: Some reasons for generalising domain theory. Math. Struct. Comput. Sci. 20(2), 239–265 (2010)

    Article  MathSciNet  MATH  Google Scholar 

15. Kelly, G.M.: Basic Concepts of Enriched Category Theory. Cambridge University Press (1982)

16. Lack, S.: A 2-Categories Companion. Springer, New York, pp. 105–191 (2010)

17. Lack, S., Street, R.: The formal theory of monads II. J. Pure Appl. Algebra 175(1–3), 243–265 (2002)

    Article  MathSciNet  MATH  Google Scholar 

18. Lawvere, F. W.: Functorial Semantics of Algebraic Theories and Some Algebraic Problems in the context of Functorial Semantics of Algebraic Theories. PhD thesis, Columbia University, (1963)

19. Manes, E.G.: Algebraic Theories, volume 26 of Graduate Texts in Mathematics. Springer (1976)

20. Manes, E.G., Mulry, P.: Monad compositions I: general constructions and recursive distributive laws. Theory Appl. Categ. 18(7), 172–208 (2007)

    MathSciNet  MATH  Google Scholar 

21. Marmolejo, F.: Distributive laws for pseudomonads. Theory and Applications of Categories, 5, (1999)

22. Marmolejo, F., Vázquez-Márquez, A.: No-iteration mixed distributive laws. Math. Struct. Comput. Sci. 27, 1–16 (2017)

    Article  MathSciNet  MATH  Google Scholar 

23. Marmolejo, F., Wood, R.J.: Monads as extensions systems - no iteration is necessary. Theory Appl. Categ. 24(4), 84–113 (2010)

    MathSciNet  MATH  Google Scholar 

24. Marmolejo, F., Rosebrugh, R.D., Wood, R.J.: A basic distributive law. J. Pure Appl. Algebra 168(2–3), 209–226 (2002)

    Article  MathSciNet  MATH  Google Scholar 

25. Moggi, E.: Notions of computation and monads. Inf. Comput. 93(1), 55–92 (1991)

    Article  MathSciNet  MATH  Google Scholar 

26. Power, A.J.: A 2-categorical pasting theorem. J. Algebra 129, 439–445 (1990)

    Article  MathSciNet  MATH  Google Scholar 

27. Staton, S.: An algebraic presentation of predicate logic. In: Pfenning, F. (ed.), Foundations of software science and computation structures, pp. 401–417, Berlin, Heidelberg (2013)

28. Street, R.: Fibrations and Yoneda’s lemma in a 2-category. In: Kelly, G. M. (ed.) Category Seminar, pp. 104–133. Berlin, Heidelberg (1974)

29. Street, R.: The formal theory of monads. J. Pure Appl. Algebra 2(2), 149–168 (1972)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

31. Ulmer, F.: Properties of dense and relative adjoint functors. J. Algebra 8(1), 77–95 (1968)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

Download references

Authors and Affiliations

1. School of Mathematics, University of Leeds, Leeds, UK

   Gabriele Lobbia

Corresponding author

Correspondence to Gabriele Lobbia.

Conflict of interest

The author declares they have no competing interests.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Communicated by Ross Street.

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions