Pseudo-commutative monads and pseudo-closed 2-categories

DOI10.1016/S0022-4049(02)00133-0zbMATH Open1009.18003MaRDI QIDQ1850100FDOQ1850100

Authors: Martin Hyland, John Power 

Publication date: 2 December 2002

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Two-dimensional monad theory
• The formal theory of monads
• Title not available (Why is that?)
• Monads on symmetric monoidal closed categories
• Strong functors and monoidal monads
• Coherence for tricategories
• Closed categories generated by commutative monads
• Reports of the Midwest category seminar. IV
• Flexible limits for 2-categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• A characterization of pie limits
• Title not available (Why is that?)
• Symmetric monoidal sketches and categories of wirings
• Embedding of Closed Categories Into Monoidal Closed Categories

Cited In (31)

• Tensor products of finitely cocomplete and abelian categories
• Network Models
• 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
• Models of \(G\)-spectra as presheaves of spectra
• Constructing equivariant spectra via categorical Mackey functors
• Combining algebraic effects with continuations
• Discrete Lawvere theories and computational effects
• General facts on the Scott adjunction
• Enriched categories as a free cocompletion
• Abstract syntax: substitution and binders
• Title not available (Why is that?)
• 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
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• Skew monoidal categories and skew multicategories
• Two-dimensional linear algebra
• Pseudo-commutativity of KZ 2-monads
• Multiplicative equivariant \(K\)-theory and the Barratt-Priddy-Quillen theorem
• Pseudo algebras and pseudo double categories
• Some reasons for generalising domain theory
• Not every pseudoalgebra is equivalent to a strict one
• 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)