Pseudo-commutative monads and pseudo-closed 2-categories

DOI10.1016/S0022-4049(02)00133-0MaRDI QIDQ1850100zbMATH OpenFDO

Authors Martin Hyland, John Power

Publication date 2 December 2002

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

Full work available at URL https://doi.org/10.1016/S0022-4049(02)00133-0

zbMATH Keywords

2-monadclosed categorypseudo-morphism

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• Pseudo-commutative monads
• Pseudo-commutativity of KZ 2-monads
• Two-dimensional monad theory
• On the formal theory of pseudomonads and pseudodistributive laws
• Not every pseudoalgebra is equivalent to a strict one

Cites work

• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3522192 (Why is no real title available?)
• scientific article; zbMATH DE number 3550923 (Why is no real title available?)
• scientific article; zbMATH DE number 3572382 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A characterization of pie limits
• Closed categories generated by commutative monads
• Coherence for tricategories
• Embedding of Closed Categories Into Monoidal Closed Categories
• Flexible limits for 2-categories
• Monads on symmetric monoidal closed categories
• Reports of the Midwest category seminar. IV
• Strong functors and monoidal monads
• Symmetric monoidal sketches and categories of wirings
• The formal theory of monads
• Two-dimensional monad theory

Cited in

(33)

• Tensor products of finitely cocomplete and abelian categories
• Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
• Resource modalities in tensor logic
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Generalized bounded linear logic and its categorical semantics
• Pseudo-distributive laws and axiomatics for variable binding
• Constructing equivariant spectra via categorical Mackey functors
• Combining algebraic effects with continuations
• Models of \(G\)-spectra as presheaves of spectra
• Discrete Lawvere theories and computational effects
• General facts on the Scott adjunction
• Enriched categories as a free cocompletion
• Abstract syntax: substitution and binders
• The symmetric monoidal 2-category of permutative categories
• No-iteration pseudomonads
• Combining effects: sum and tensor
• Skew structures in 2-category theory and homotopy theory
• Pseudo-commutative monads
• Braided skew monoidal categories
• Skew monoidal categories and skew multicategories
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• Pseudo-commutativity of KZ 2-monads
• Two-dimensional linear algebra
• Multiplicative equivariant K-theory and the Barratt-Priddy-Quillen theorem
• Pseudo algebras and pseudo double categories
• Network models
• Pseudocommutativity and lax idempotency for relative pseudomonads
• Differential bundles in commutative algebra and algebraic geometry
• Not every pseudoalgebra is equivalent to a strict one
• Some reasons for generalising domain theory
• GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES
• Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
• On the regular representation of an (essentially) finite 2-group

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1850100)