In algebraic geometry, a prestack F over a category C equipped with some Grothendieck topology is a category together with a functor p: F → C satisfying a certain lifting condition and such that (when the fibers are groupoids) locally isomorphic objects are isomorphic. A stack is a prestack with effective descents, meaning local objects may be patched together to become a global object.