TY - JOUR
T1 - Pseudo-commutative monads and pseudo-closed 2-categories
AU - Hyland, Martin
AU - Power, John
N1 - Special volume celebrating the 70th birthday of Professor Max Kelly
PY - 2002/11/8
Y1 - 2002/11/8
N2 - 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.
AB - 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.
UR - http://dx.doi.org/10.1016/S0022-4049(02)00133-0
U2 - 10.1016/S0022-4049(02)00133-0
DO - 10.1016/S0022-4049(02)00133-0
M3 - Article
SN - 0022-4049
VL - 175
SP - 141
EP - 185
JO - Journal of Pure and Applied Algebra
JF - Journal of Pure and Applied Algebra
IS - 1-3
ER -