Constructs classifying localic categories and groupoids for logical bundles via generalised frame presentations, proving stronger universal properties than toposes and a dual result for proper bundles.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
math.CT 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
There exists a localic category C_LK classifying locally compact locales in Sh(X) as principal bundles over any locale X.
citing papers explorer
-
Generic bundles over a localic category
Constructs classifying localic categories and groupoids for logical bundles via generalised frame presentations, proving stronger universal properties than toposes and a dual result for proper bundles.
-
A classifying localic category for locally compact locales
There exists a localic category C_LK classifying locally compact locales in Sh(X) as principal bundles over any locale X.