Decidable objects and molecular toposes
DOI:
https://doi.org/10.33044/revuma.3427Abstract
We study several sufficient conditions for the molecularity/local-connectedness of geometric morphisms. In particular, we show that if $\mathcal{S}$ is a Boolean topos, then, for every hyperconnected essential geometric morphism $p : \mathcal{E} \rightarrow \mathcal{S}$ such that the leftmost adjoint $p_{!}$ preserves finite products, $p$ is molecular and $p^* : \mathcal{S} \rightarrow \mathcal{E}$ coincides with the full subcategory of decidable objects in $\mathcal{E}$. We also characterize the reflections between categories with finite limits that induce molecular maps between the respective presheaf toposes. As a corollary we establish the molecularity of certain geometric morphisms between Gaeta toposes.
Downloads
References
M. Artin, A. Grothendieck, and J. L. Verdier, Théorie des topos et cohomologie étale des schémas (SGA 4), Lecture Notes in Math. 269–270, Springer-Verlag, Berlin-Heidelberg-New York, 1972. DOI MR Zbl
M. Barr and R. Paré, Molecular toposes, J. Pure Appl. Algebra 17 no. 2 (1980), 127–152. DOI MR Zbl
F. Borceux and B. J. Day, On product-preserving Kan extensions, Bull. Austral. Math. Soc. 17 no. 2 (1977), 247–255. DOI MR Zbl
A. Carboni and G. Janelidze, Decidable (= separable) objects and morphisms in lextensive categories, J. Pure Appl. Algebra 110 no. 3 (1996), 219–240. DOI MR Zbl
A. Carboni, G. Janelidze, G. M. Kelly, and R. Paré, On localization and stabilization for factorization systems, Appl. Categ. Structures 5 no. 1 (1997), 1–58. DOI MR Zbl
A. Carboni and S. Mantovani, An elementary characterization of categories of separated objects, J. Pure Appl. Algebra 89 no. 1-2 (1993), 63–92. DOI MR Zbl
M. Demazure and P. Gabriel, Groupes algébriques. Tome I: Géométrie algébrique, généralités, groupes commutatifs, Masson, Paris; North-Holland, Amsterdam, 1970. MR Zbl
P. Gabriel and M. Zisman, Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete 35, Springer-Verlag, Berlin-Heidelberg-New York, 1967. MR Zbl
R. Garner and T. Streicher, An essential local geometric morphism which is not locally connected though its inverse image part is an exponential ideal, Theory Appl. Categ. 37 (2021), 908–913. MR Zbl
R. Gates, On generic separable objects, Theory Appl. Categ. 4 (1998), 208–248. MR Zbl
J. W. Gray, Fibred and cofibred categories, in Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965), Springer-Verlag, New York, 1966, pp. 21–83. DOI MR Zbl
J. Hemelaer, Some toposes over which essential implies locally connected, Cah. Topol. Géom. Différ. Catég. 63 no. 4 (2022), 425–451. MR Zbl
J. Hemelaer and M. Rogers, An essential, hyperconnected, local geometric morphism that is not locally connected, Appl. Categ. Structures 29 no. 4 (2021), 573–576. DOI MR Zbl
P. T. Johnstone, Sketches of an elephant: a topos theory compendium. Vols. 1–2, Oxford Logic Guides 43–44, The Clarendon Press, Oxford University Press, New York, 2002. MR Zbl
P. T. Johnstone, Remarks on punctual local connectedness, Theory Appl. Categ. 25 (2011), 51–63. MR Zbl
A. Kock, Synthetic differential geometry, second ed., London Mathematical Society Lecture Note Series 333, Cambridge University Press, Cambridge, 2006. DOI MR Zbl
F. W. Lawvere, Some thoughts on the future of category theory, in Category Theory (Como, 1990), Lecture Notes in Math. 1488, Springer, Berlin, 1991, pp. 1–13. DOI MR Zbl
F. W. Lawvere, Axiomatic cohesion, Theory Appl. Categ. 19 (2007), 41–49. MR Zbl
F. W. Lawvere, Core varieties, extensivity, and rig geometry, Theory Appl. Categ. 20 (2008), 497–503. MR Zbl
F. W. Lawvere and M. Menni, Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness, Theory Appl. Categ. 30 (2015), 909–932. MR Zbl
S. Mac Lane and I. Moerdijk, Sheaves in geometry and logic: a first introduction to topos theory, Universitext, Springer-Verlag, New York, 1992. MR Zbl
F. Marmolejo and M. Menni, The canonical intensive quality of a cohesive topos, Theory Appl. Categ. 36 (2021), 250–279. MR Zbl
M. Menni, Sufficient cohesion over atomic toposes, Cah. Topol. Géom. Différ. Catég. 55 no. 2 (2014), 113–149. MR Zbl
M. Menni, The unity and identity of decidable objects and double-negation sheaves, J. Symb. Log. 83 no. 4 (2018), 1667–1679. DOI MR Zbl
M. Menni, A basis theorem for 2-rigs and rig geometry, Cah. Topol. Géom. Différ. Catég. 62 no. 4 (2021), 451–490. MR Zbl
M. Menni, The hyperconnected maps that are local, J. Pure Appl. Algebra 225 no. 5 (2021), Paper No. 106596, 14 pp. DOI MR Zbl
M. Menni, Maps with discrete fibers and the origin of basepoints, Appl. Categ. Structures 30 no. 5 (2022), 991–1015. DOI MR Zbl
R. Street, Fibrations in bicategories, Cah. Topol. Géom. Différ. 21 no. 2 (1980), 111–160. MR Zbl
D. Yetter, On right adjoints to exponential functors, J. Pure Appl. Algebra 45 no. 3 (1987), 287–304. DOI MR Zbl
Downloads
Published
Issue
Section
License
Copyright (c) 2024 Matías Menni
This work is licensed under a Creative Commons Attribution 4.0 International License.
Authors who publish with this journal agree to the following terms:
Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgment of the work's authorship and initial publication in this journal. The Journal may retract the paper after publication if clear evidence is found that the findings are unreliable as a result of misconduct or honest error.
