Pseudo-commutative monads and pseudo-closed 2-categories

Martin Hyland, John Power

Research output: Contribution to journalArticle

34 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 Dive into the research topics of 'Pseudo-commutative monads and pseudo-closed 2-categories'. Together they form a unique fingerprint.

Cite this