Draft:Prestack
Appearance
In algebraic geometry, a prestack F over a category C is a category together with a functor p: F → C satisfying certain lifting and descent conditions. By definition, when C is equipped with some Grothendieck topology, a stack is a prestack such that every descent datum is effective.