2 papers
math.CT2026
A classifying localic category for locally compact locales
Christopher Townsend
For an internal category in a cartesian category we define, naturally in objects of , . This is a category whose o…
math.CT2024
A classifying localic category for locally compact locales with application to the Axiom of Infinity (poster)
Christopher Francis Townsend
For an internal category in a cartesian category we define, naturally in objects of , . This is a category whose o…