An étendue (also ‘etendue’, ‘étendu’, or ‘etendu’; from French ‘étendue’ (fem.)- extent) is a topos that locally looks like the category of sheaves on a space:
Briefly, the slogan is that is locally a topological space. (Lawvere 1976, p.129)
In some papers, topological spaces are replaced by locales in the definition of étendues. For example, see Definition 1.1 in Rosenthal or Definition 1.12 in Kock and Moerdijk.
Originally defined by A. Grothendieck in one of the famous ‘exercises’ of SGA4 (ex. 9.8.2) as a Grothendieck topos that has a well-supported object such that the slice topos is equivalent to a sheaf topos on a topological space, the definition was generalized by Lawvere (1975,1976) by dropping the spatiality of the slice and require only that is a localic topos.
Several characterizations of étendues are known and the Ur-example of an étendue, the presheaf topos of group actions, exhibits one in terms of sites rather directly: it has a site where every morphism is monic. Other characterizations involve (local) equivalence relations and yield connections to orbifolds, foliations, and stacks, which are instrumental for the generalization to -étendues (cf. Carchedi 2013).
Étendues play an important role in Lawvere’s approach to cohesion and the distinction between petit and gros toposes where they provide one of the classes of petit toposes (generalized spaces). In this context, Lawvere (1989,1991) interprets the cancellative property of the site as enabling an interpretation of étendues as categories of processes.
A topos is called an étendue if there is an object such that the unique is epic and the slice topos is a localic topos.1
The first example of an étendue seems to have been the space of moduli of algebraic curves, which is prevented from being globally a space due to the action of the Galois groups within each point. Yes, something vaguely reminiscent of particle spin is going on in such spaces, and the most naked form is that for any group G, the category is an étendue with only one point! This is easily seen from the observations that and that where the last two ‘s denote the regular representation. (Lawvere 1976, pp.129-130)
The Sierpinski topos , as the sheaf topos on the Sierpinski space, is an étendue.
The topos of directed graphs (aka quivers; Lawvere calls them irreflexive graphs) is an étendue, as it is locally equivalent to the sheaf topos on a three point space (Lawvere 1986). The contrast between and the topos of reflexive graphs is a paradigmatic example of the distinction between a petit and a gros topos.
The Jónsson-Tarski topos is an étendue, as it is locally equivalent to the sheaf topos on the Cantor space. It is discussed as a petit topos for labeled graphs in (Lawvere 1989).
Proposition. A Grothendieck topos is an étendue iff there exists a site for such that every morphism of is monic.
In particular for small , the presheaf topos is an étendue iff all morphisms in are monic. In particular for monoids this is sometimes called left cancellative (e.g. each free monoid is left cancellative).
Subtoposes of étendues are étendues. K. Rosenthal uses this together with the preceding remark on for all-monic in order to construct further étendues via a topology from a suitable functor (for further details see Jónsson-Tarski topos or Rosenthal(1981)).
A Grothendieck topos is a Boolean étendue precisely if it satisfies the internal axiom of choice (Freyd&Scedrov 1990). An example of such a Boolean étendue is , for a group.
Étendues are ‘locally co-decidable’ in the sense that for a small the functor category is a locally decidable topos precisely if is an étendue. Also the all-monic-site property is dual to the all-epic-site property of locally decidable toposes. Both concepts are subsumed under the notion of having a (sub canonical) site representation with no (non-trivial) idempotents (McLarty 2006, Lawvere 2007).
One can use the site characterization to show that being an étendue topos is a local property.
Let be an étendue topos with being an all-monic-site presentation and be a presheaf on that is a -sheaf. Then is an étendue topos.
It suffices to show that has an all-monic site presentation. By exercise III.8 in Mac Lane-Moerdijk (1994, p.157) there exists a topology on the category of elements such that
Whence it suffices to show that is all-monic: Let be a morphism in and such that then since composition in is inherited from and the latter was all-monic by assumption.
Let be a Grothendieck topos satisfying the internal axiom of choice (IAC). Then any slice topos satisfies the internal axiom of choice as well.
By Freyd-Scedrov (1990, p.181) a Grothendieck topos satisfies IAC iff is a Boolean étendue. But being Boolean is a local property whence by the preceding proposition all slices are Boolean étendues.
M. Artin, A. Grothendieck, J. L. Verdier, Théorie des Topos et Cohomologie Etale des Schémas (SGA4), Springer LNM vol.269 (1972), pp.479-484.
David Carchedi, Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity Topoi , arXiv1312.2204 (2013). (pdf)
Darian De Wolf, D. Pronk, A Double-Categorical View on Representations of Etendues, Cah. Top. Géom. Diff. Cat. LXI 1 (2020) 3-56 [, pdf, arXiv:1910.02540]
P. J. Freyd, A. Scedrov, Categories, Allegories , North-Holland Amsterdam 1990.
Peter Johnstone, Sketches of an Elephant II, Oxford UP 2002, pp.769-775.
A. Kock, I. Moerdijk, Presentations of étendues , Cah. Top. Géom. Diff. Cat. XXXII 2 (1991) pp.145-164. (pdf)
A. Kock, I. Moerdijk, Every étendue comes from a local equivalence relation , JPAA 82 (1992) pp.155-174.
M. V. Lawson, B. Steinberg, Ordered groupoids and étendues , Cah. Top. Géom. Diff. Cat. XXXXV 2 (2004) pp.82-108. (pdf)
F. William Lawvere, Variable sets etendu and variable structure in topoi , Lecture notes University of Chicago 1975.
F. William Lawvere, Variable quantities and variable structures in topoi , pp.101-131 in Heller, Tierney (eds.), Algebra, Topology and Category Theory, Academic Press New York 1976.
F. William Lawvere, Categories of Spaces may not be Generalized Spaces as Exemplified by Directed Graphs, Revista Colombiana de Matemáticas XX (1986) pp.179-186. Reprinted with commentary in TAC 9 (2005) pp.1-7. (pdf)
F. William Lawvere, Qualitative Distinctions between some Toposes of Generalized Graphs , Cont. Math. 92 (1989) pp.261-299.
F. William Lawvere, Some Thoughts on the Future of Category Theory , pp.1-13 in Springer LNM vol. 1488 (1991).
F. William Lawvere, Axiomatic Cohesion , TAC 19 no. 3 (2007) pp.41-49. (pdf)
F. William Lawvere, Cohesive Toposes: Combinatorial and Infinitesimal Cases, Como Ms. 2008. (pdf)
Saunders Mac Lane, Ieke Moerdijk, Sheaves in Geometry and Logic , Springer Heidelberg 1994.
Colin McLarty, Every Grothendieck Topos has a One-Way Site , TAC 16 no. 5 (2006) pp.123-126. (pdf)
Ieke Moerdijk, Foliations, groupoids and Grothendieck étendues , Rev. Acad. Cienc. Zaragoza (2) 48 (1993) pp.5-33.
Dorette A. Pronk, Etendues and stacks as bicategory of fractions , Comp. Math. 102 3 (1996) pp.243-303. (pdf)
Pedro Resende, Groupoid Sheaves as Quantale Modules , arXiv.0807.4848v3 (2011). (pdf)
Kimmo I. Rosenthal, Étendues and Categories with Monic Maps , JPAA 22 (1981) pp.193-212.
Kimmo I. Rosenthal, Sheaves and Local Equivalence Relations , Cah. Top. Géom. Diff. Cat. XXV 2 (1984) pp.179-206. (pdf)
Kimmo I. Rosenthal, Covering Étendues and Freyd’s Theorem , Proc. AMS 99 2 (1987) pp.221-222. (pdf)
An epic induces a geometric morphism whose inverse image part, the change of base functor, is faithful, which says by definition that is a surjection, and in case , one says that covers . is an étale geometric morphism. ↩
Last revised on June 14, 2023 at 07:02:54. See the history of this page for a list of all contributions to it.