A coherent approach to pseudomonads

DOI10.1006/AIMA.1999.1881zbMATH Open0971.18008OpenAlexW2093328479MaRDI QIDQ1578071FDOQ1578071

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

Recommendations

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

zbMATH Keywords

rewritingweighted limittricategoryGray-categorypseudoadjointpseudomonads

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A general coherence result
• Introduction to bicategories
• The formal theory of monads
• Enriched categories, internal categories and change of base
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coherence for tricategories
• Monoidal bicategories and Hopf algebroids
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (33)

• Title not available (Why is that?)
• A semi-strictly generated closed structure on \textbf{Gray}-\textbf{Cat}
• On the formal theory of pseudomonads and pseudodistributive laws
• Pseudoalgebras and non-canonical isomorphisms
• 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
• A 2-categories companion
• Centers and homotopy centers in enriched monoidal categories
• Descent for monads
• Constructing higher inductive types as groupoid quotients
• An improvement on the base-change theorem and the functor \(f^!\)
• Kan extensions are partial colimits
• What is an equivalence in a higher category?
• Codescent objects and coherence
• No-iteration pseudomonads
• On lifting of biadjoints and lax algebras
• Ordinals in Frobenius monads
• The formal theory of monads. II
• From coherent structures to universal properties
• Contravariance through enrichment
• Hochschild homology, lax codescent, and duplicial structure
• 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
• 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
• Graded multiplications on iterated bar constructions

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)