C. Townsend

activity

20232026

collaborators

3 papers

math.CT2026

A classifying localic category for locally compact locales

Christopher Townsend

For an internal category $C$ in a cartesian category $C$ we define, naturally in objects $X$ of $C$ , $P r i n_{C} (X)$ . 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 $C$ in a cartesian category $C$ we define, naturally in objects $X$ of $C$ , $P r i n_{C} (X)$ . This is a category whose o…

math.CT2023

A Classifying groupoid for compact Hausdorff locales

Simon Henry, Christopher Townsend

We construct a localic groupoid $G_{K H}$ such that for any locale $X$ the category of compact Hausdorff locales in the topos of sheaves over $X$ is equivalent to a categor…