Pseudo-commutative monads and pseudo-closed 2-categories

DOI10.1016/S0022-4049(02)00133-0zbMath1009.18003MaRDI QIDQ1850100

J. M. E. Hyland, A. John Power

Publication date: 2 December 2002

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

2-monadclosed categorypseudo-morphism

Mathematics Subject Classification ID

Related Items (25)

Braided skew monoidal categories ⋮ General facts on the Scott adjunction ⋮ Skew monoidal categories and skew multicategories ⋮ Pseudo-distributive laws and axiomatics for variable binding ⋮ Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures ⋮ Discrete Lawvere theories and computational effects ⋮ Combining algebraic effects with continuations ⋮ Tensor products of finitely cocomplete and abelian categories ⋮ GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES ⋮ Multiplicative equivariant \(K\)-theory and the Barratt-Priddy-Quillen theorem ⋮ Enriched categories as a free cocompletion ⋮ Resource modalities in tensor logic ⋮ Pseudo-commutativity of KZ 2-monads ⋮ Unnamed Item ⋮ Generalized bounded linear logic and its categorical semantics ⋮ Some reasons for generalising domain theory ⋮ Two-dimensional linear algebra ⋮ Pseudo-commutative Monads ⋮ On the regular representation of an (essentially) finite 2-group ⋮ Skew structures in 2-category theory and homotopy theory ⋮ Combining effects: sum and tensor ⋮ Constructing equivariant spectra via categorical Mackey functors ⋮ The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads ⋮ Abstract Syntax: Substitution and Binders ⋮ Network Models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Two-dimensional monad theory
• Flexible limits for 2-categories
• Monads on symmetric monoidal closed categories
• Reports of the Midwest category seminar. IV
• The formal theory of monads
• Strong functors and monoidal monads
• A characterization of pie limits
• Embedding of Closed Categories Into Monoidal Closed Categories
• Coherence for tricategories
• Closed categories generated by commutative monads

This page was built for publication: Pseudo-commutative monads and pseudo-closed 2-categories