Pseudo-commutative monads and pseudo-closed 2-categories


Hyland, M. and Power, J., 2002. Pseudo-commutative monads and pseudo-closed 2-categories. Journal of Pure and Applied Algebra, 175 (1-3), pp. 141-185.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Official URL:


previous termPseudonext term-previous termcommutativenext term 2-previous termmonadsnext term and previous termpseudonext term-closed 2-categories are defined. The former give rise to the latter: if T is previous termpseudonext term-previous termcommutativenext term, then the 2-category T-Alg, of strict T-algebras and previous termpseudonext term-maps of algebras, is previous termpseudonext term-closed. In particular, the 2-category of symmetric monoidal categories, is previous termpseudonext term-closed. Subject to a biadjointness condition that is satisfied by T-Alg, previous termpseudonext term-closed structure induces previous termpseudonext term-monoidal structure on the 2-category.


Item Type Articles
CreatorsHyland, M.and Power, J.
DepartmentsFaculty of Science > Computer Science
ID Code5575
Additional InformationSpecial volume celebrating the 70th birthday of Professor Max Kelly


Actions (login required)

View Item