Pseudo-Kan Extensions and Descent Theory

zbMath1405.18002arXiv1606.04999MaRDI QIDQ4563239

Fernando Lucatelli Nunes

Publication date: 7 June 2018

Full work available at URL: https://arxiv.org/abs/1606.04999

zbMATH Keywords

Galois theoryKan extensions(effective) descent morphismweighted bilimitspseudomonadsdescent categoryBénabou-Roubaud theorembiadjunctionsdescent objectscommutativity of bilimits

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) 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)

Related Items

A Universal Characterisation of Codescent Objects ⋮ Kan extensions are partial colimits ⋮ Descent Data and Absolute Kan Extensions ⋮ A categorical approach to quantum moment maps ⋮ Lax comma categories of ordered sets ⋮ Descent for internal multicategory functors ⋮ On effective descent \(\mathcal{V}\)-functors and familial descent morphisms ⋮ Cauchy completeness, lax epimorphisms and effective descent for split fibrations ⋮ Pseudoalgebras and non-canonical isomorphisms ⋮ On lifting of biadjoints and lax algebras ⋮ Semantic factorization and descent

Cites Work

• A note on effective descent morphisms of topological spaces and relational algebras
• Galois theory in variable categories
• Icons
• Two-dimensional monad theory
• Limits indexed by category-valued 2-functors
• Flexible limits for 2-categories
• Effective descent maps of topological spaces
• Facets of descent. I
• Facets of descent. II
• A coherent approach to pseudomonads
• Beck's theorem for pseudo-monads
• Effective descent morphisms in categories of lax algebras
• Descent on 2-fibrations and strongly 2-regular 2-categories
• Facets of descent. III: Monadic descent for rings and algebras
• Categorical and combinatorial aspects of descent theory
• Formal category theory: Adjointness for 2-categories
• Codescent objects and coherence
• Distributive laws for pseudomonads. II
• Reports of the Midwest Category Seminar. II
• Kan extensions in enriched category theory
• On biadjoint triangles
• Quasi-Kan extensions for 2-categories
• Simplicial methods and the interpretation of “triple” cohomology
• Triquotient maps via ultrafilter convergence
• On lifting of biadjoints and lax algebras
• Introduction to bicategories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Pseudo-Kan Extensions and Descent Theory