Pseudo-Kan extensions and descent theory

zbMATH Open1405.18002arXiv1606.04999MaRDI QIDQ4563239FDOQ4563239

Authors: Fernando Lucatelli Nunes 

Publication date: 7 June 2018

Abstract: There are two main constructions in classical descent theory: the category of algebras and the descent category, which are known to be examples of weighted bilimits. We give a formal approach to descent theory, employing formal consequences of commuting properties of bilimits to prove classical and new theorems in the context of Janelidze-Tholen "Facets of Descent II", such as B'{e}nabou-Roubaud Theorems, a Galois Theorem, embedding results and formal ways of getting effective descent morphisms. In order to do this, we develop the formal part of the theory on commuting bilimits via pseudomonad theory, studying idempotent pseudomonads and proving a $2$-dimensional version of the adjoint triangle theorem. Also, we work out the concept of pointwise pseudo-Kan extension, used as a framework to talk about bilimits, commutativity and the descent object. As a subproduct, this formal approach can be an alternative perspective/guiding template for the development of higher descent theory.

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

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• Descent Data and Absolute Kan Extensions
• Beck's theorem for pseudo-monads
• Algebraic Kan extensions along morphisms of internal algebra classifiers
• Semantic factorization and descent
• Kan extensions are partial colimits

zbMATH Keywords

Galois theoryKan extensions(effective) descent morphismweighted bilimitspseudomonadsdescent categorybiadjunctionsdescent objectsBénabou-Roubaud theoremcommutativity of bilimits

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (15)

• Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent
• Semantic factorization and descent
• Pseudoalgebras and non-canonical isomorphisms
• On effective descent \(\mathcal{V}\)-functors and familial descent morphisms
• A Universal Characterisation of Codescent Objects
• Descent theory for schemes
• Lax comma categories of ordered sets
• Title not available (Why is that?)
• Descent for internal multicategory functors
• Cauchy completeness, lax epimorphisms and effective descent for split fibrations
• Kan extensions are partial colimits
• Descent Data and Absolute Kan Extensions
• On lifting of biadjoints and lax algebras
• Categorical and combinatorial aspects of descent theory
• A categorical approach to quantum moment maps

This page was built for publication: Pseudo-Kan extensions and descent theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4563239)