Codescent objects and coherence
From MaRDI portal
Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Recommendations
Cites work
- A coherent approach to pseudomonads
- A general coherence result
- Coinverters and categories of fractions for categories with structure
- Elementary observations on 2-categorical limits
- Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
- From coherent structures to universal properties
- scientific article; zbMATH DE number 4008629 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 3512374 (Why is no real title available?)
- scientific article; zbMATH DE number 3522182 (Why is no real title available?)
- scientific article; zbMATH DE number 3522194 (Why is no real title available?)
- scientific article; zbMATH DE number 1024332 (Why is no real title available?)
- scientific article; zbMATH DE number 1129148 (Why is no real title available?)
- scientific article; zbMATH DE number 922680 (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?)
- Monads for which structures are adjoint to units
- On product-preserving Kan extensions
- Two-dimensional monad theory
- Two-dimensional sheaf theory
Cited in
(54)- Cohesion of object histories
- Objects, interference, and the Yoneda embedding
- \(K\)-theory for 2-categories
- Which abelian tensor categories are geometric?
- How strict is strictification?
- On semiflexible, flexible and pie algebras
- A colimit decomposition for homotopy algebras in Cat
- Morita contexts as lax functors
- Semantic factorization and descent
- Accessible aspects of 2-category theory
- Morita equivalence for many-sorted enriched theories
- Hochschild homology, lax codescent, and duplicial structure
- Stable Postnikov data of Picard 2-categories
- Operads within monoidal pseudo algebras
- The Eckmann-Hilton argument and higher operads
- Multiplicative equivariant K-theory and the Barratt-Priddy-Quillen theorem
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- On biadjoint triangles
- Homotopy theory for algebras over polynomial monads
- Logical systems. I: Internal calculi.
- A 2-categories companion
- scientific article; zbMATH DE number 1024332 (Why is no real title available?)
- On lifting of biadjoints and lax algebras
- scientific article; zbMATH DE number 6981655 (Why is no real title available?)
- Contravariance through enrichment
- Pseudo-Kan extensions and descent theory
- Descent Data and Absolute Kan Extensions
- On Krull-Schmidt bicategories
- A universal characterisation of codescent objects
- Weak units, universal cells, and coherence via universality for bicategories
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- Codescent and bicolimits of pseudo-algebras
- Cauchy completeness, lax epimorphisms and effective descent for split fibrations
- Algebras of higher operads as enriched categories
- Pseudo-commutativity of KZ 2-monads
- A comonad for Grothendieck fibrations
- Enhanced 2-categories and limits for lax morphisms
- Whole-grain Petri nets and processes
- Not every pseudoalgebra is equivalent to a strict one
- Monoidal closure of Grothendieck constructions via -tractable monoidal structures and Dialectica formulas
- Towards 2-derivators for formal -category theory
- Weakly globular double categories and weak units
- More on soundness in the enriched context
- Rewriting techniques for relative coherence
- Free extensivity via distributivity
- Colax adjunctions and lax-idempotent pseudomonads
- Doubly weak double categories
- Invertibility and parity in symmetric monoidal categories
- Galois descent theorem in general categories
- Rectangular torsion theories
- Coherence for pseudo commutative 2-monads
- Limits for lax morphisms
- The DG-category of secondary cohomology operations
- Laplaza sets, or how to select coherence diagrams for pseudo algebras
This page was built for publication: Codescent objects and coherence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1850103)
