(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
An exponentiable topos is a generalization of the notion of an exponentiable locale and can be viewed as a (topological) “space” that behaves well with respect to the construction of mapping spaces .
A Grothendieck topos is called exponentiable (in the 2-category of Grothendieck toposes ) if the 2-functor has a right 2-adjoint .
More concretely, is exponentiable if there exists a functor such that for all toposes the category is (naturally) equivalent as a category to .
By setting , the base topos, one sees from that is indeed a “mapping space” whose points are the geometric morphisms .
The concept generalizes to higher topos theory (cf. Anel 2015, Anel-Lejay 2018, Lurie 2018).
Interestingly, in the category of locales exponentiability of a locale hinges on the existence of the single exponential where is the Sierpinski space: exists for all iff exists.
In the object classifier takes over the role of the Sierpinski space and we have the following
A Grothendieck topos is exponentiable iff the exponential exists.
This result is due to Johnstone-Joyal (1982, p.282) and occurs as theorem 4.3.1 of Johnstone (2002, vol.1 p.433).
The following theorem pursues this analogy and generalizes a result of Martin Hyland on locales (1981).
A Grothendieck topos is an exponentiable object in the 2-category of Grothendieck toposes and geometric morphisms iff is a continuous category.
This result is due to Johnstone-Joyal (1982) and occurs as theorem 4.4.5 of Johnstone (2002, p.748).
Exponentiability is a local property:
This occurs as lemma 4.2 in Johnstone-Joyal (1982, p.281).
Continuity also leaves a lattice-theoretic trace:
If a Grothendieck topos is exponentiable then the lattice of subobjects of any object is continuous.
This occurs as lemma 5.1 in Johnstone-Joyal (1982, p.287).
Since locally finitely presentable categories are continuous and coherent toposes are locally finitely presentable (cf. Johnstone (2002, p.915)) it follows that coherent toposes are exponentiable. This can be viewed as an avatar of the fact that (locally) compact topological spaces behave well with respect to mapping spaces.
By the same reasoning all functor categories for a small category are exponentiable since they are locally finitely presentable. This includes in particular all presheaf toposes on small categories.
An example of the latter is the Sierpinski topos . Here the exponential classifies the theory of -model homorphisms (with the geometric theory classified by ) i.e. the theory such that .
The Malitz-Gregory topos? is locally finitely presentable but has not enough points (cf. Marquès 2024) whence it shows that there are exponentiable toposes failing to have enough points as well.
It is worthwhile to muse a bit about :
First of at all, it is injective since is injective and preserves inclusions.
This and the various universal properties of the toposes involved imply that an exponentiable topos
is (up to equivalence) the category of points of an injective topos.
Now consider an arbitrary topos classifying a geometric theory .
Then from the functorial perspective on logic the 2-functor assigning to the category of models is called the dual theory of .
It need not be geometric i.e. have a classifying topos but when it is, being called dualizable in that case, the following
shows that has precisely the properties required for .
In other words, is geometric (and classified by ) precisely iff is exponentiable!
Compare also the remarks of Anel (2015) on the -case.
Let be the initial topos that classifies the inconsistent theory over the empty signature. Then from follows that the dual of the inconsistent theory is with the empty theory (over the empty signature).
From follows in turn that the double dual of the inconsistent theory, or, in other words, the dual of the empty theory, is with the theory of objects. (More generally, the dual theory of any dualizable theory is itself dualizable.)
Let be the Sierpinski topos that classifies subterminal objects or the theory of completely prime filters of the frame of opens of the Sierpinski space. Since it follows that
i.e. the dual theory is the theory of morphisms .
Recall, that given a small site there is a geometric theory called the theory of J-continuous flat functors that (albeit uneconomically) axiomaticizes the theory classified by using the objects and morphisms in for its signature. When is exponentiable this theory is dualizable, and, in the case the site is coherent i. e. has finite limits and is generated by finite covering families, the following theory called the theory of sheaves on axiomatizes the dual theory (in an equally uneconomic way):
The signature of has a type symbol for every object and a function symbol for every morphism in . The axioms are given by the following schemata
for all identity morphisms .
for all composable triples in .
for each generating finite -covering family .
for each generating finite -covering family and pullback
The models of in a Grothendieck topos are “sheaves of -objects” on i.e. functors satisfying the diagrammatic form of the sheaf axioms but
i.e. is the classifying topos for . (For the details cf. Johnstone 1977, p.248f).
In particular, since is a coherent theory this implies that is also a coherent topos. From
it follows then that every coherent topos is the category of points of a coherent topos.
The notion of a tiny object in a cartesian closed category suggests the following
An exponentiable Grothendieck topos is called tiny (or infinitesimal) if the 2-functor has a right 2-adjoint .
Mathieu Anel, Toposes are commutative rings , talk at Topos à l’IHES, IHES Paris, Nov. 25-27, 2015 (video recording, at min 52:47 ff.).
Mathieu Anel, Damien Lejay, Exponentiable Higher Toposes , arXiv:1802.10425 (2018). (abstract)
Andreas Blass, The interaction of category theory and set theory , Cont. Math. 30 (1984) pp.5-29. (draft)
Martin Hyland, Function spaces in the category of locales , Springer LNM 871 (1981) pp.264-281.
Peter Johnstone, Topos Theory , Academic Press New York 1977. (Also available as Dover reprint Mineola 2014; pp.209-210, 248-249)
Peter Johnstone, Sketches of an Elephant vols. 1&2 , CUP 2002. (sections B4.3 pp.432-438, C4.4 pp.745-754)
Peter Johnstone, André Joyal, Continuous categories and exponentiable toposes , JPAA 25 (1982) pp.255-296.
Jacob Lurie, Spectral Algebraic Geometry , ms. Harvard University 2018. (section 21.1.6)
Jérémie Marquès?, Atomic Toposes with Co-Well-Founded Categories of Atoms , arXiv:2406.14346 (2024). (abstract)
Susan Niefield, Exponentiable Morphisms: posets, spaces, locales and Grothendieck toposes , TAC 8 (2001) pp.16-32. (abstract)
Myles Tierney, Forcing Topologies and Classifying Toposes , pp.211-219 in Heller, Tierney (eds.), Algebra, Topology and Category Theory , Academic Press New York 1976. (p.211, 218)
Last revised on June 21, 2024 at 09:27:38. See the history of this page for a list of all contributions to it.