arXiv
Open Access
2023
Internal Parameterization of Hyperconnected Quotients
Ryuya Hora
Abstrak
One of the most fundamental facts in topos theory is the internal parameterization of subtoposes: the bijective correspondence between subtoposes and Lawvere-Tierney topologies. In this paper, we introduce a new but elementary concept, "a local state classifier," and give an analogous internal parameterization of hyperconnected quotients (i.e., hyperconnected geometric morphisms from a topos). As a corollary, we obtain a solution to the Boolean case of the first problem of Lawvere's open problems.
Topik & Kata Kunci
Penulis (1)
R
Ryuya Hora
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2023
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓