{"id":"arxiv/2606.02025","url":"https://arxiv.org/abs/2606.02025","tags":["math.CT"],"score":0,"title":"A classifying localic category for locally compact locales","domain":"math.CT","source":"arxiv","authors":["Christopher Townsend"],"reviews":0,"subject":"math.CT","summary":"For an internal category $\\mathbb{C}$ in a cartesian category $\\mathcal{C}$ we define, naturally in objects $X$ of $\\mathcal{C}$, $Prin_{\\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 are morphisms, morphisms are commuting squares). We show that $X \\mapsto Prin_{\\mathbb{C}}(X)$ is a stack of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-01","reactions":{}}