Pseudo-Kan extensions and descent theory

Publication date 7 June 2018

Full work available at URL https://arxiv.org/abs/1606.04999, http://www.tac.mta.ca/tac/volumes/33/15/33-15abs.html

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

(effective) descent morphism Bénabou-Roubaud theorem biadjunctions commutativity of bilimits descent category descent objects Galois theory Kan extensions pseudomonads weighted bilimits

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) 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)

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.

Recommendations

Cites work

Cited in

(23)

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)