under construction
For Top a simplicial object topological space, write for the category of sheaves on (the category of open subsets) .
The category of sheaves on the simplicial space is defined to be the category whose
objects are
collections
equipped for each with morphisms
such that
;
for every and the diagram
morphisms are collections of morphisms of sheaves, compatible with all structure maps.
For a topological category and its nerve, is the classifying topos for -torsors. see classifying topos of a localic groupoid.
Last revised on August 7, 2024 at 06:45:38. See the history of this page for a list of all contributions to it.