Pseudo-commutative Monads

M Hyland, John Power

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

We introduce the notion of pseudo-commutative monad together with that of pseudo-closed 2-category, the leading example being given by the 2-monad on Cat whose 2-category of algebras is the 2-category of small symmetric monoidal categories. We prove that for any pseudo-commutative 2-monad on Cat, its 2-category of algebras is pseudo-closed. We also introduce supplementary definitions and results, and we illustrate this analysis with further examples such as those of small categories with finite products, and examples arising from wiring, interaction, contexts, and the logic of Bunched Implication.
Original languageEnglish
Pages (from-to)197-208
Number of pages12
JournalElectronic Notes in Theoretical Computer Science
Volume45
DOIs
Publication statusPublished - 2001

Fingerprint Dive into the research topics of 'Pseudo-commutative Monads'. Together they form a unique fingerprint.

  • Cite this