Pseudo-commutative monads and pseudo-closed 2-categories

Martin Hyland; John Power

doi:10.1016/S0022-4049(02)00133-0

Pseudo-commutative monads and pseudo-closed 2-categories

Martin Hyland
, John Power

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

41 Citations (SciVal)

Abstract

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.

Original language	English
Pages (from-to)	141-185
Number of pages	45
Journal	Journal of Pure and Applied Algebra
Volume	175
Issue number	1-3
DOIs	https://doi.org/10.1016/S0022-4049(02)00133-0
Publication status	Published - 8 Nov 2002

Bibliographical note

Special volume celebrating the 70th birthday of Professor Max Kelly

Access to Document

10.1016/S0022-4049(02)00133-0

Cite this

@article{24bb89430d23433abe8439652f01f91b,

title = "Pseudo-commutative monads and pseudo-closed 2-categories",

abstract = "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.",

author = "Martin Hyland and John Power",

note = "Special volume celebrating the 70th birthday of Professor Max Kelly",

year = "2002",

month = nov,

day = "8",

doi = "10.1016/S0022-4049(02)00133-0",

language = "English",

volume = "175",

pages = "141--185",

journal = "Journal of Pure and Applied Algebra",

issn = "0022-4049",

publisher = "Elsevier B.V.",

number = "1-3",

}

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 -

Pseudo-commutative monads and pseudo-closed 2-categories

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this