Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
The idea of presheaf of groupoids may refer to one of the following distinct but closely related concepts:
a functor from some opposite category to the 1-category Grpd of all small groupoids;
a Grpd-enriched functor from the opposite of a Grpd-enriched category to Grpd canonically regarded as enriched over itself, all with respect to its cartesian closed category-structure;
a pseudofunctor from the opposite of a plain category to the 2-category (in fact: (2,1)-category) Grpd of all small groupoids;
a 2-functor from the opposite 2-category of some 2-category to the 2-category Grpd of all small groupoids.
In the last two cases one also speaks of pre-stacks of groupoids or (2,1)-presheaves.
The first two of these carry structures of homotopical categories, even of model categories, that make them presentable (infinity,1)-category-presentations of the latter two.
Under the simplicial nerve-constructions, presheaves of groupoids in the sense of the first two items form a full subcategory of simplicial presheaves, and their model category-structures enhance to the corresponding model structures on simplicial presheaves, which present (∞,1)-presheaves of ∞-groupoids, hence pre-∞-stacks.
A model category-structure on categories of presheaves of groupoids, modeling (2,1)-categories of stacks the way that the model structure on simplicial presheaves model (∞,1)-categories of ∞-stacks is discussed in
Last revised on November 29, 2021 at 17:57:28. See the history of this page for a list of all contributions to it.