sheaves sites complete list examples note however nonequivalent sites often give rise equivalent topoi indicated introduction sheaves ordinary topological spaces motivate many basic definitions results topos theory category sets g sets category sets important special case plays role point topos theory indeed set may thought sheaf point since functors singleton category single object identity morphism specific
Formal science Mathematics Pure mathematics Algebra Topos theory