Pseudo-commutative monads and pseudo-closed 2-categories

Journal of Pure and Applied Algebra

Volumn 175, Issue 1-3, 2002, Pages 141-185

  Hyland, Martin ^a   Power, John ^b  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0037044675     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(02)00133-0     Document Type: Article

References (17)

1. M. Barr, C. Wells, Toposes, Triples, and Theories, Grundlehren der Mathematischen Wissenschaften, Vol. 278, Springer, Berlin, 1985.
2. G.J. Bird, G.M. Kelly, A.J. Power, R. Street, Flexible limits for 2-categories, J. Pure Appl. Algebra 61 (1989) 1-27.
3. R. Blackwell, G.M. Kelly, A.J. Power, Two-dimensional monad theory, J. Pure Appl. Algebra 59 (1989) 1-41.
4. B. Day, On closed categories of functors, Reports of the Midwest Category Seminar IV, Lecture Notes in Mathematics, Vol. 137, Springer, Berlin, 1970, pp. 1-38.
5. B. Day, On closed categories of functors II, Category Seminar, Lecture Notes in Mathematics, Vol. 420, Springer, Berlin, 1974, pp. 20-54.
6. B. Day, An embedding theorem for closed categories, Category Seminar, Lecture Notes in Mathematics, Vol. 420, Springer, Berlin, 1974, pp. 55-64.
7. S. Eilenberg, G.M. Kelly, Closed categories, Proceedings of the Conference on Categorical Algebra, La Jolla, 1965, Springer, Berlin, 1966.
8. R. Gordon, A.J. Power, R. Street, Coherence for tricategories, Mem. Amer. Math. Soc. 558 (1995).
9. M. Hyland, A.J. Power, Symmetric monoidal sketches, Proceedings of the Second Conference on Principles and Practice of Declarative Programming, 2000, pp. 280-288.
10. G.M. Kelly, Coherence theorems for lax algebras and for distributive laws, Category Seminar, Lecture Notes in Mathematics, Vol. 420, Springer, Berlin, 1974, pp. 281-375.
11. A. Kock, Monads on symmetric monoidal closed categories, Arch. Math. 21 (1970) 1-10.
12. A. Kock, Closed categories generated by commutative monads, J. Austral. Math. Soc. 12 (1971) 405-424.
13. A. Kock, Strong Functors and Monoidal Monads, Arch. Math. 23 (1972) 113-120.
14. M. Laplaza, Embedding of closed categories into monoidal closed categories, Trans. Amer. Math. Soc. 233 (1977) 85-91.
15. S. Mac Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics, Vol. 5, Springer, Berlin, 1971.
16. A.J. Power, E.P. Robinson, A characterization of PIE limits, Math. Proc. Cambridge Philos. Soc. 110 (1991) 33-47.
17. R.H. Street, The formal theory of monads, J. Pure Appl. Algebra 2 (1972) 149-168.