A classifying localic category for locally compact locales with application to the Axiom of Infinity (poster)

Christopher Francis Townsend

For an internal category $\mathbb{C}$ in a cartesian category $\mathcal{C}$ we define, naturally in objects $X$ of $\mathcal{C}$, $Pri{n}_{\mathbb{C}}(X)$. This is a category whose o…