A coherent approach to pseudomonads
A monad (= triple) on an object \(A\) consists of an endomorphism \(t\) on \(A\) together with multiplication and unit 2-cells which satisfy associativity and unital equalities. This notion makes sense in any 2-category (or even any bicategory). A pseudomonad has the same data plus coherent invertible 3-cells replacing the equalities. This notion makes sense in any tricategory; however, in view of a coherence result of \textit{R. Gordon}, \textit{A. J. Power} and \textit{R. Street} [``Coherence for tricategories, Mem. Am. Math. Soc. 558 (1995; Zbl 0836.18001)], the author works in a Gray-category rather than a general tricategory. It is classical that a monad gives rise to a co-augmented cosimplicial object of \(\text{End}(A)\); in fact, a strict monoidal functor from the monoidal category \({\mathcal O}rd\) of finite ordinals to \(\text{End}(A)\). The author constructs a Gray-monoid \({\mathcal O}rd\)' such that a pseudomonad amounts to a Gray-monoid morphism from \({\mathcal O}rd\)' to \(\text{End} (A)\). Rewriting techniques are used to prove this. The paper then discusses algebras for pseudomonads and other aspects of the ``formal theory of pseudomonads. This paves the way for an alternative approach to \textit{F. Marmolejo} [``Distributive laws for pseudomonads, Theory Appl. Categ. 5, 91-147 (1999; Zbl 0919.18004)].
- A general coherence result
- Coherence for tricategories
- Enriched categories, internal categories and change of base
- scientific article; zbMATH DE number 3950781 (Why is no real title available?)
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 1271223 (Why is no real title available?)
- scientific article; zbMATH DE number 1024330 (Why is no real title available?)
- scientific article; zbMATH DE number 3264101 (Why is no real title available?)
- scientific article; zbMATH DE number 3296291 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- Introduction to bicategories
- Monoidal bicategories and Hopf algebroids
- The formal theory of monads
- Formal Hopf algebra theory. I: Hopf modules for pseudomonoids
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- Pseudoalgebras and non-canonical isomorphisms
- Codescent objects and coherence
- The formal theory of monads. II
- Gapped boundaries and string-like excitations in (3+1)d gauge models of topological phases
- Kan extensions are partial colimits
- Ordinals in Frobenius monads
- Hochschild homology, lax codescent, and duplicial structure
- Comonadic base change for enriched categories
- No-iteration pseudomonads
- Categories in categories, and size matters
- A 2-categories companion
- Descent for monads
- Centers and homotopy centers in enriched monoidal categories
- On lifting of biadjoints and lax algebras
- Contravariance through enrichment
- Pseudo-Kan extensions and descent theory
- Graded multiplications on iterated bar constructions
- Coherence in Three-Dimensional Category Theory
- Constructing higher inductive types as groupoid quotients
- Coherence of Gray categories via rewriting
- Bicategories in univalent foundations
- On the formal theory of pseudomonads and pseudodistributive laws
- Coherence for Frobenius pseudomonoids and the geometry of linear proofs
- From coherent structures to universal properties
- An improvement on the base-change theorem and the functor \(f^!\)
- What is an equivalence in a higher category?
- Pseudocommutativity and lax idempotency for relative pseudomonads
- Duals invert
- Enhanced 2-categories and limits for lax morphisms
- A semi-strictly generated closed structure on \textbf{Gray}-\textbf{Cat}
- Not every pseudoalgebra is equivalent to a strict one
- From thin concurrent games to generalized species of structures (extended version)
- Enriched Kleisli objects for pseudomonads
- Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
- Free extensivity via distributivity
This page was built for publication: A coherent approach to pseudomonads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1578071)
