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

Abstract

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 objects are principal $c\mathbb{C}$-bundles over $X$ and whose morphisms are principal $c({\mathbb{C}}^{\uparrow })$-bundles. Here $c(\_)$ denotes taking the core groupoid of a category (same objects but only isomorphisms as morphisms) and ${\mathbb{C}}^{\uparrow }$ is the arrow category of $\mathbb{C}$ (objects morphisms, morphisms commuting squares). We show that $X\mapsto Pri{n}_{\mathbb{C}}(X)$ is a stack of categories and call stacks of this sort lax-geometric. We then provide two sufficient conditions for a stack to be lax-geometric and use them to prove that the pseudo-functor $X\mapsto {\mathbf{LK}}_{Sh(X)}$ on the category of locales $\mathbf{Loc}$ is a lax-geometric stack. Here ${\mathbf{LK}}_{Sh(X)}$ is the category of locally compact locales in the topos of sheaves over $X$, $Sh(X)$. Therefore there exists a localic category ${\mathbb{C}}_{\mathbf{LK}}$ such that ${\mathbf{LK}}_{Sh(X)}\simeq Pri{n}_{{\mathbb{C}}_{\mathbf{LK}}}(X)$ naturally for every locale $X$. We then show how this can be used to give a new localic characterisation of the Axiom of Infinity.