[Paper Review] Pseudo-Kan Extensions and Descent Theory

Fernando Lucatelli Nunes|arXiv (Cornell University)|Jun 15, 2016

Homotopy and Cohomology in Algebraic Topology23 references19 citations

TL;DR

This paper develops a formal, 2-categorical framework for descent theory using pseudo-Kan extensions and commuting bilimits, proving classical and new results via pseudomonad theory and a 2-dimensional adjoint triangle theorem. It establishes that effective descent morphisms can be characterized through bilimit structures, offering a unified approach to descent in categories, topological categories, and higher structures.

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é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.

Motivation & Objective

• To provide a formal, category-theoretic framework for classical descent theory using 2-dimensional limits and bilimits.
• To generalize and re-derive key results in descent theory—such as the Bénabou-Roubaud Theorem and Galois Theory—through formal properties of commuting bilimits.
• To develop a 2-dimensional analogue of the adjoint triangle theorem for pseudoalgebras over idempotent pseudomonads.
• To offer a systematic, formal method for identifying effective descent morphisms using bilimit structures and pseudofunctoriality.
• To lay a foundation for higher descent theory by formalizing pointwise pseudo-Kan extensions as a unifying language.

Proposed method

• The paper employs the theory of pseudo-Kan extensions as a framework to formalize weighted bilimits and their commutativity in 2-categories.
• It introduces and studies idempotent pseudomonads to model descent structures and derive lifting theorems for pseudoalgebra structures.
• A 2-dimensional version of the adjoint triangle theorem is proven, enabling formal reasoning about biadjunctions and descent morphisms.
• The authors use pseudofunctors between 2-categories (e.g., Cat and Top) to model descent data and analyze their behavior under pullbacks and limits.
• The descent category and category of algebras are reinterpreted as specific instances of bilimits, enabling uniform treatment of descent problems.
• The framework is applied to concrete cases, such as overcategories and spans, showing that objectwise descent implies overall descent via bilimit structure.

Experimental results

Research questions

• RQ1 How can the classical Bénabou-Roubaud Theorem be formally derived from properties of commuting bilimits and pseudo-Kan extensions?
• RQ2 What is the 2-categorical analogue of the adjoint triangle theorem, and how does it apply to pseudoalgebras over idempotent pseudomonads?
• RQ3 Under what conditions does a morphism of functors between 2-categories preserve effective descent when its components do?
• RQ4 Can the descent category and category of algebras be uniformly characterized as weighted bilimits in a 2-categorical setting?
• RQ5 How can the formalism of pseudo-Kan extensions be used to generalize descent theory to higher categorical contexts?

Key findings

• The descent category and category of algebras are formally shown to be examples of weighted bilimits, providing a unified 2-categorical foundation for descent theory.
• A 2-dimensional adjoint triangle theorem is established for pseudoalgebras over idempotent pseudomonads, enabling formal reasoning about descent morphisms.
• Effective descent morphisms in Cat-categories are characterized by surjectivity on objects, composable triples of 2-cells, and surjectivity on composable pairs and triples of 1-cells.
• For Top-categories, effective descent is characterized by effective descent on discrete spaces of objects and morphisms, plus descent-continuity on spaces of composable pairs and almost-descent-continuity on triples.
• If a morphism of functors between 2-categories is objectwise of effective descent (on components), then the morphism itself is of effective descent, provided the overcategory structure is a bilimit.
• The framework successfully generalizes to spans and overcategories, showing that objectwise descent implies descent in the total category via bilimit preservation.