2 citations · 2 across the 8 of their papers we have counts for
Showing 2023 · math.CTShow all
2 papers · 2 filters
math.CT2023★ 2 cited
Quotient toposes of discrete dynamical systems
Ryuya Hora, Yuhi Kamio
This paper gives a classification of classes of discrete dynamical systems (a set equipped with an endofunction) closed under finite limits and small colimits. The conclusion is si…
math.CT2023
Internal Parameterization of Hyperconnected Quotients
Ryuya Hora
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…