Given a fibered category, a morphism along which the induced comparison functor between the category of the descent data and the codomain fiber is fully faithful (equivalence of categories) is said to be a descent morphism (resp. effective descent morphism).
Let be a category with pullbacks. For any morphism , we have an internal category defined by (the kernel pair of ). The category of descent data for is the category (the “descent object”) of internal diagrams on this internal category. Explicitly, an object of is a morphism together with an action satisfying suitable axioms.
The evident internal functor (viewing as a discrete internal category) induces a comparison functor . We say that is:
It is a little unfortunate that the more important notion of effective descent has the longer name, but it seems unwise to try to change it (although the Elephant uses “pre-descent” and “descent”).
Let be a category with pullbacks.
Perhaps more surprising is:
Effective descent morphisms are closed under pullback and composition.
In general, descent is about higher sheaf conditions (i.e. stack conditions). More precisely, being an -stack means that all covers in the base are effective -categorical descent morphism. Hence the morphism being of effective descent is a building block, the single morphism case of a stack condition.
Thus, being an effective descent morphism says that the corresponding fibered category is a 1-stack (“2-sheaf”) for the singleton covering family . Similarly, is a descent morphism iff the codomain fibration is a pre-stack (that is, a 2-separated 2-presheaf) for .
We can also, of course, generalize to higher categories: an n-category with pullbacks has an analogue of a “codomain fibration”, and we can ask for stack conditions on it. This is most common in the case of (infinity,1)-categories; see the page descent for more information and links.
If is exact, or has stable reflexive coequalizers, then every regular epimorphism is an effective descent morphism. (See, for instance, section B1.5 of the Elephant.) In particular, this is the case for any topos.
However, there are also important effective descent morphisms in non-exact categories.
In Top, there is a characterization
Of course, there are also many effective descent morphisms relative to fibrations other than the codomain fibration. If is a stack for a particular Grothendieck topology, then every singleton cover in that topology will be, by definition, an effective descent morphism relative to . A few important examples are: