The Gaeta topos construction assigns a Grothendieck topos to a small extensive category.
The construction arises in attempts (Lawvere 1976, 1991) to build a gros topos of spaces with an inherent space-quantity ‘duality’. The terminology is apparently a tribute to the Spanish algebraic geometer Federico Gaeta? who in his lecture notes of A. Grothendieck's Buffalo 1973 colloquium (Gaeta 1974) has pointed out the utility of the extensivity property for functorial algebraic geometry.1
Let be a small finitary extensive category. The Gaeta topology2 on is the Grothendieck topology generated by all finite families such that is an isomorphism. The Gaeta topos is the topos of sheaves for the site .
The Gaeta topology is naturally induced by the extensivity of :
The Gaeta topology as defined above is indeed a Grothendieck topology on a small extensive category .
…still to do!
The next proposition shows that is not only a topos but a multisorted variety as well as it coincides with the category of finite product preserving presheaves on :
Let be a small Cauchy complete category with finite products. The category of finite product preserving functors is a topos iff is extensive. Moreover, in this case coincides with .
Cf. Carboni-Pedicchio-Rosicky (2001, p.72) and Lawvere (2008, p.498).
From an algebraic perspective, is the category of algebras of the multisorted algebraic theory .
Note, since they are naturally equivalent to which preserve all limits (cf. hom-functor), representable presheaves preserve finite products, in particular, and hence are sheaves for ; in other words, the Gaeta topology is subcanonical.
…
Aurelio Carboni, Maria Cristina Pedicchio?, Jiri Rosicky, Syntactic characterization of various classes of locally presentable categories , JPAA 161 (2001) pp.65-90.(zbMath entry)
Federico Gaeta?, Introduction to Functorial Algebraic Geometry - After a Summer Course by A. Grothendieck: I Affine Algebraic Geometry , Suny Buffalo 1974. (pdf scan)
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. (pp.109-111)
F. William Lawvere, Taking Categories Seriously, Revista Colombiana de Matemáticas XX (1986) pp.147-178. Reprinted as TAC Reprint no.8 (2005) pp.1-24. (pdf)
F. William Lawvere, Some Thoughts on the Future of Category Theory , pp.1-13 in LNM 1488 Springer Heidelberg (1991). (pp.3-6)
F. William Lawvere, Comments on the development of topos theory , pp.715-734 in Jean-Pierre Pier (ed.), Development of Mathmatics 1950-2000 , Birkhäuser Basel 2000. Reprinted with author comment as TAC Reprint no.24 (2014). (abstract; p.727)
F. William Lawvere, Core Varieties, Extensivity, and Rig Geometry , TAC 20 no.14 (2008) pp. 497–503. (pdf)
F. Marmolejo, M. Menni, Level , arXiv:1909.12757 (2019). (abstract)
Matías Menni, Sufficient Cohesion over Atomic Toposes , Cah. Top. Géom. Diff. Cat. LV no.2 (2014) pp.113-149. (preprint)
Matías Menni, Decidable objects and molecular toposes (2022) [arXiv:arXiv:2212.03647]
“Gaeta’s notes of Grothendieck’s lecture series at Buffalo point out that (i.e. the opposite category of finitely presented algebras over a field -nLab) is more closely suited than most categories to serve as a site for a geometric category, because it is what is now called ‘extensive’ “ , (Lawvere 2003). ↩
is also called the finite disjoint covering topology. The nLab elsewhere uses the term extensive topology (cf. extensive category). is in fact an example of a superextensive site. ↩
Last revised on April 12, 2023 at 13:08:52. See the history of this page for a list of all contributions to it.