Semantic factorization and descent
DOI10.1007/s10485-022-09694-wzbMath1502.18044arXiv1902.01225OpenAlexW4294789353WikidataQ122874963 ScholiaQ122874963MaRDI QIDQ2105683
Publication date: 8 December 2022
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1902.01225
descent dataformal theory of monadsBénabou-Roubaud theoremcodensity monadseffective faithful morphismformal monadicity theoremLax descent categoryopcomma objectsemantic Lax descent factorizationtwo-dimensional cokernel diagramtwo-dimensional limits
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Special properties of functors (faithful, full, etc.) (18A22) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Functor categories, comma categories (18A25) 2-categories, bicategories, double categories (18N10) Categorical structures (18Dxx) Categories and theories (18Cxx)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A 2-categorical pasting theorem
- Limits indexed by category-valued 2-functors
- Yoneda structures on 2-categories
- Effective descent maps of topological spaces
- Facets of descent. I
- Descent and duality
- Facets of descent. II
- Pseudoalgebras and non-canonical isomorphisms
- Facets of descent. III: Monadic descent for rings and algebras
- Categorical and combinatorial aspects of descent theory
- A formula for codensity monads and density comonads
- Codescent objects and coherence
- Adjoint functors and triples
- Kan extensions in enriched category theory
- The formal theory of monads
- On biadjoint triangles
- Codensity and the ultrafilter monad
- Elementary observations on 2-categorical limits
- On lifting of biadjoints and lax algebras
- Pseudo-Kan Extensions and Descent Theory
- Introduction to bicategories
- Descent Data and Absolute Kan Extensions
- Every Standard Construction is Induced by a Pair of Adjoint Functors
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
