nLab
functor of descent type

Functors of descent type

Functors of descent type

Idea

A functor is of descent type if it satisfies “half” of the condition to be monadic.

Definition

A functor U:BAU:B\to A is of descent type if

  1. it has a left adjoint F:ABF:A\to B, and
  2. for all bBb\in B the canonical fork FUFUbFUϵϵFUFUbϵbF U F U b \underoverset{F U \epsilon}{\epsilon F U}{\rightrightarrows} F U b \xrightarrow{\epsilon} b is a coequalizer.

The second condition is equivalent to asking that the comparison functor BA UFB \to A^{U F} from BB to the Eilenberg-Moore category of the monad UFU F is fully faithful.

Examples

By monadic descent, a morphism ff in the base of a fibration is a descent morphism if and only if f *f^* is of descent type. This is presumably the origin of the terminology; ff is an effective descent morphism when f *f^* is monadic.

Last revised on June 26, 2017 at 12:43:17. See the history of this page for a list of all contributions to it.