Codescent objects and coherence
From MaRDI portal
Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Recommendations
Cites work
- 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?)
- 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
- Monads for which structures are adjoint to units
- On product-preserving Kan extensions
- Two-dimensional monad theory
- Two-dimensional sheaf theory
Cited in
(42)- Pseudo-commutativity of KZ 2-monads
- How strict is strictification?
- On biadjoint triangles
- A 2-categories companion
- scientific article; zbMATH DE number 6981655 (Why is no real title available?)
- On lifting of biadjoints and lax algebras
- The DG-category of secondary cohomology operations
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- On Krull-Schmidt bicategories
- Multiplicative equivariant \(K\)-theory and the Barratt-Priddy-Quillen theorem
- Pseudo-Kan extensions and descent theory
- A comonad for Grothendieck fibrations
- Objects, interference, and the Yoneda embedding
- scientific article; zbMATH DE number 1024332 (Why is no real title available?)
- Which abelian tensor categories are geometric?
- Morita equivalence for many-sorted enriched theories
- A universal characterisation of codescent objects
- Cauchy completeness, lax epimorphisms and effective descent for split fibrations
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- Not every pseudoalgebra is equivalent to a strict one
- Descent Data and Absolute Kan Extensions
- On semiflexible, flexible and pie algebras
- Accessible aspects of 2-category theory
- Morita contexts as lax functors
- Stable Postnikov data of Picard 2-categories
- Contravariance through enrichment
- A colimit decomposition for homotopy algebras in Cat
- Semantic factorization and descent
- \(K\)-theory for 2-categories
- The Eckmann-Hilton argument and higher operads
- Logical systems. I: Internal calculi.
- Laplaza sets, or how to select coherence diagrams for pseudo algebras
- Codescent and bicolimits of pseudo-algebras
- Cohesion of object histories
- Weak units, universal cells, and coherence via universality for bicategories
- Hochschild homology, lax codescent, and duplicial structure
- Algebras of higher operads as enriched categories
- Whole-grain Petri nets and processes
- Operads within monoidal pseudo algebras
- Homotopy theory for algebras over polynomial monads
- Enhanced 2-categories and limits for lax morphisms
- Limits for lax morphisms
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)
