A coherent approach to pseudomonads

DOI10.1006/AIMA.1999.1881MaRDI QIDQ1578071zbMATH OpenOpenAlexFDO

Authors Stephen Lack

Publication date 5 November 2001

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/aima.1999.1881

zbMATH Keywords

rewritingweighted limittricategoryGray-categorypseudoadjointpseudomonads

Mathematics Subject Classification ID

Recommendations

• On the formal theory of pseudomonads and pseudodistributive laws
• scientific article; zbMATH DE number 1271223
• No-iteration pseudomonads

Cites work

• 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?)
• A general coherence result
• Coherence for tricategories
• Enriched categories, internal categories and change of base
• Introduction to bicategories
• Monoidal bicategories and Hopf algebroids
• The formal theory of monads

Cited in

(37)

• Graded multiplications on iterated bar constructions
• scientific article; zbMATH DE number 7089066 (Why is no real title available?)
• Free extensivity via distributivity
• Pseudoalgebras and non-canonical isomorphisms
• Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
• A semi-strictly generated closed structure on \textbf{Gray}-\textbf{Cat}
• On the formal theory of pseudomonads and pseudodistributive laws
• Pseudo-Kan extensions and descent theory
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Duals invert
• Bicategories in univalent foundations
• Coherence in Three-Dimensional Category Theory
• Enhanced 2-categories and limits for lax morphisms
• Centers and homotopy centers in enriched monoidal categories
• A 2-categories companion
• Descent for monads
• Constructing higher inductive types as groupoid quotients
• Kan extensions are partial colimits
• An improvement on the base-change theorem and the functor \(f^!\)
• Codescent objects and coherence
• What is an equivalence in a higher category?
• No-iteration pseudomonads
• From thin concurrent games to generalized species of structures (extended version)
• On lifting of biadjoints and lax algebras
• Ordinals in Frobenius monads
• The formal theory of monads. II
• From coherent structures to universal properties
• Hochschild homology, lax codescent, and duplicial structure
• Contravariance through enrichment
• Formal Hopf algebra theory. I: Hopf modules for pseudomonoids
• Pseudocommutativity and lax idempotency for relative pseudomonads
• Coherence of Gray categories via rewriting
• Categories in categories, and size matters
• Enriched Kleisli objects for pseudomonads
• Comonadic base change for enriched categories
• Not every pseudoalgebra is equivalent to a strict one
• Gapped boundaries and string-like excitations in (3+1)d gauge models of topological phases

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)