Pseudo-commutative monads and pseudo-closed 2-categories

Martin Hyland, John Power

Research output: Contribution to journalArticle

32 Citations (Scopus)

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 languageEnglish
Pages (from-to)141-185
Number of pages45
JournalJournal of Pure and Applied Algebra
Volume175
Issue number1-3
DOIs
Publication statusPublished - 8 Nov 2002

Fingerprint

Monads
Closed
Term
Algebra
Monoidal Category

Cite this

Pseudo-commutative monads and pseudo-closed 2-categories. / Hyland, Martin; Power, John.

In: Journal of Pure and Applied Algebra, Vol. 175, No. 1-3, 08.11.2002, p. 141-185.

Research output: Contribution to journalArticle

Hyland, Martin ; Power, John. / Pseudo-commutative monads and pseudo-closed 2-categories. In: Journal of Pure and Applied Algebra. 2002 ; Vol. 175, No. 1-3. pp. 141-185.
@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 = "11",
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",
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

VL - 175

SP - 141

EP - 185

JO - Journal of Pure and Applied Algebra

JF - Journal of Pure and Applied Algebra

SN - 0022-4049

IS - 1-3

ER -