Big sites

topos theory

# Big sites

## Idea

For $C$ a site and $c \in C$ an object, the over category $C/c$ may naturally be thought of as a generalization of the notion of category of open subsets of $c$ in the case of $C =$ Top: its objects are probes of $c$ by arbitrary other objects of $C$.

The over-category naturally inherits the structure of a site itself – this is called the big site of $C$. The corresponding sheaf topos $Sh(C/c)$ is the topos-incarnation of the object $c$.

## Definition

Let $C$ be a category equipped with a pretopology $J$ (i.e. a site) and let $a$ be an object of $C$. The slice category $C/a$ inherits a pretopology by setting the covering families to be those collections of morphisms whose image under $C/a \to C$ form a covering family. This is then the big site of $a$.

In the special case that $C$ is some category of spaces with a terminal object $t$, then sheaves on the big site of $t$ form a gros topos. Hence the category of sheaves on the big site of $a$ generalize this idea.

## Examples

• big site

Last revised on June 13, 2014 at 17:00:26. See the history of this page for a list of all contributions to it.
{"ft_lang_label":"__label__en","ft_lang_prob":0.9173546,"math_prob":0.9973657,"size":1070,"snap":"2019-35-2019-39","text_gpt3_token_len":241,"char_repetition_ratio":0.14915572,"word_repetition_ratio":0.03125,"special_character_ratio":0.21775702,"punctuation_ratio":0.09767442,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99139655,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-08-20T08:04:07Z\",\"WARC-Record-ID\":\"<urn:uuid:00d8dbd1-322b-4ab4-b456-f861fa67f2b7>\",\"Content-Length\":\"30566\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:ce5f52e9-9434-4735-af1a-70217d62d49c>\",\"WARC-Concurrent-To\":\"<urn:uuid:d1ea2b3b-59b5-4c7b-8896-0d4a7cac2000>\",\"WARC-IP-Address\":\"104.27.170.19\",\"WARC-Target-URI\":\"https://www.ncatlab.org/nlab/show/big+site\",\"WARC-Payload-Digest\":\"sha1:WQHPKITTKFSO5HUCVJIDNCT2HEYA4VBR\",\"WARC-Block-Digest\":\"sha1:KK5HT3C57IIPCLABJOTNJY6ZTW2IAWDK\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-35/CC-MAIN-2019-35_segments_1566027315258.34_warc_CC-MAIN-20190820070415-20190820092415-00511.warc.gz\"}"}