Prestack

Algebraic geometry category satisfying lifting conditions

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 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.

This keyword could refer to multiple things. Here are some suggestions: