arXiv Open Access 2023

Internal Parameterization of Hyperconnected Quotients

Ryuya Hora
Lihat Sumber

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

Format Sitasi

Hora, R. (2023). Internal Parameterization of Hyperconnected Quotients. https://arxiv.org/abs/2302.06851

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2023
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓