Research

Pseudo-commutative Monads


Reference:

Hyland, M. and Power, J., 2001. Pseudo-commutative Monads. Electronic Notes in Theoretical Computer Science, 45, pp. 197-208.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Official URL:

http://dx.doi.org/10.1016/S1571-0661(04)80963-0

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.

Details

Item Type Articles
CreatorsHyland, M.and Power, J.
DOI10.1016/S1571-0661(04)80963-0
DepartmentsFaculty of Science > Computer Science
RefereedYes
StatusPublished
ID Code26490

Export

Actions (login required)

View Item