Pith. sign in

REVIEW 2 minor 21 references

A classifying localic category for locally compact locales

T0 review · 0 major / 2 minor · reviewed 2026-06-28 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A localic category exists such that locally compact locales in any sheaf topos are its principal bundles.

desk verdict The paper defines lax-geometric stacks via principal bundles over internal categories and uses two sufficient conditions to show that locally compact locales form such a stack, yielding a classifying localic category. read the letter →

arxiv 2606.02025 v1 pith:2RKBSRY5 submitted 2026-06-01 math.CT

Christopher Townsend This is my paper · ORCID
classification math.CT
keywords localeslocallycompactprincipalbundlesinternalcategoriesstackstoposesclassifyinglax-geometric
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper defines for an internal category C a construction Prin_C(X) whose objects are principal bundles for the core of C over X and whose morphisms are principal bundles for the core of the arrow category of C. It proves that this assignment always forms a stack of categories, called lax-geometric. By verifying two sufficient conditions on the pseudo-functor that sends each locale X to the category of locally compact locales inside the sheaf topos Sh(X), the paper concludes that this functor is lax-geometric. Therefore a single localic category C_LK exists making the equivalence natural in X. A reader cares because this supplies a uniform classifying object for locally compact locales across all base locales.

What carries the argument

The Prin_C construction for an internal category C, which produces a stack whose value at X consists of principal core(C)-bundles as objects and principal core(C↑)-bundles as morphisms, together with the two sufficient conditions that guarantee a stack is lax-geometric.

What would settle it

An explicit locale X where the category of locally compact locales in Sh(X) fails to be equivalent to Prin_C(X) for any internal category C in Loc, or a direct check showing that one of the two sufficient conditions does not hold for this assignment.

Watch

Extended reading notes

Core claim

The pseudo-functor X maps to LK_Sh(X) on the category of locales is a lax-geometric stack. Hence there exists a localic category C_LK such that LK_Sh(X) is naturally equivalent to Prin_{C_LK}(X) for every locale X, where objects of Prin are principal cC-bundles and morphisms are principal c(C↑)-bundles.

Load-bearing premise

The pseudo-functor sending each locale X to the category of locally compact locales in its sheaf topos satisfies the two sufficient conditions to be a lax-geometric stack.

Editorial extensions

If this is right

  • LK_Sh(X) is naturally equivalent to Prin_{C_LK}(X) for every locale X.
  • The category of locally compact locales over any base is recovered as the category of principal bundles for one fixed internal localic category.
  • Any stack of categories that meets the two sufficient conditions arises from the Prin construction and is therefore lax-geometric.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An explicit presentation of the internal category C_LK itself might be derivable from the proof that the conditions hold.
  • The same method could apply to other classes of objects inside toposes if the two conditions can be checked for their assignment functors.
  • Naturality of the equivalence in X suggests the construction interacts well with change of base and descent for locally compact objects.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The manuscript defines, for an internal category C in a cartesian category, the category Prin_C(X) whose objects are principal cC-bundles over X and morphisms are principal c(C↑)-bundles. It proves that X ↦ Prin_C(X) is a stack of categories, termed lax-geometric. Two sufficient conditions for a stack to be lax-geometric are provided and applied to show that the pseudo-functor X ↦ LK_Sh(X) on locales is lax-geometric. This implies the existence of a localic category C_LK such that LK_Sh(X) ≃ Prin_C_LK(X) naturally for every locale X.

Significance. If the result holds, it establishes a classifying localic category for the stack of locally compact locales in sheaf toposes, contributing to the theory of stacks and geometric morphisms in topos theory. The introduction of lax-geometric stacks and sufficient conditions for them may enable similar classifications for other properties of locales or toposes.

minor comments (2)
  1. [Abstract] The two sufficient conditions for a stack to be lax-geometric are referenced but not stated explicitly in the abstract; including a brief description would improve accessibility.
  2. The notation c(_) for the core groupoid and C↑ for the arrow category should be consistently defined early in the paper for readers unfamiliar with the conventions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. No major comments were provided in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation is self-contained

full rationale

The paper explicitly defines Prin_C(X) from internal categories, principal bundles, cores, and arrow categories; proves directly that the assignment is a stack (hence lax-geometric by the paper's own terminology); states two sufficient conditions for lax-geometric stacks; verifies those conditions for the pseudo-functor X ↦ LK_Sh(X); and deduces existence of C_LK from the general classifying property that follows from the stack axioms and conditions. No equation or step reduces by construction to its own input, no fitted parameter is relabeled as a prediction, and no load-bearing premise rests on an unverified self-citation. The argument is a standard constructive existence proof internal to the developed notions.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The paper introduces the new concept of lax-geometric stacks as a constructed definition rather than a postulate. No free parameters or invented entities without evidence are apparent from the abstract. The work relies on background assumptions from topos and locale theory.

assumptions (2)
  • domain assumption The category of locales is cartesian and supports internal categories and groupoids.
    Invoked in the definition of internal category C and the construction of Prin_C(X).
  • domain assumption Sheaf toposes Sh(X) allow the definition of locally compact locales internally.
    Used in defining LK_Sh(X).

how reviews work

0 comments
Cite this review

Pith. "Pith review of A classifying localic category for locally compact locales." pith.science (2026). https://pith.science/paper/2RKBSRY5

@misc{pith2026260602025,
  author       = {Pith},
  title        = {Pith review of: A classifying localic category for locally compact locales},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2RKBSRY5}},
  note         = {Machine review of arXiv:2606.02025}
}
abstract

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 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}_{\mathfrak{LK}}$ such that $\mathbf{LK}_{Sh(X)} \simeq Prin_{\mathbb{C}_{\mathfrak{LK}}}(X)$ naturally for every locale $X$. Keywords: Topos, locale, principal bundle, internal category and groupoid, category theory, geometric logic, stacks.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 4 canonical work pages

  1. [1]

    Classifying topoi and the axiom of infinity, Algebra Universalis 26, (1989) 341-345

    Blass, A. Classifying topoi and the axiom of infinity, Algebra Universalis 26, (1989) 341-345

    1989

  2. [2]

    An application of descent to a classification theorem for toposes

    Bunge, M. An application of descent to a classification theorem for toposes. Mathematical Proceedings of the Cambridge Philosophical Society, 107(1), (1990) 59-79

    1990

  3. [3]

    Stacks and equivalence of indexed categories Cahiers de Topologie et G\' e om\' e trie Diff\' e rentielle Cat\' e goriques Volume: 20, Issue: 4, page 373-399 (1979)

    Bunge, M., Pare, R. Stacks and equivalence of indexed categories Cahiers de Topologie et G\' e om\' e trie Diff\' e rentielle Cat\' e goriques Volume: 20, Issue: 4, page 373-399 (1979)

    1979

  4. [4]

    2024 , archiveprefix =

    Drinfeld, V. Prismatization arXiv:2005.04746v1 (2020)

    work page arXiv 2005

  5. [5]

    and Townsend, C.F

    Henry, S. and Townsend, C.F. Compact Hausdorff locales in presheaf toposes. Applied Categorical Structures 21:45 (2023)

    2023

  6. [6]

    and Townsend, C.F

    Henry, S. and Townsend, C.F. A classifying groupoid for compact Hausdorff locales. Preprint, arXiv:2310.07785, 2023

    work page arXiv 2023

  7. [7]

    Stone Spaces Volume 3 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, 1982

    Johnstone, P.T. Stone Spaces Volume 3 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, 1982

    1982

  8. [8]

    Sketches of an elephant: A topos theory compendium

    Johnstone, P.T. Sketches of an elephant: A topos theory compendium. Vols 1, 2, Oxford Logic Guides 43, 44, Oxford Science Publications, 2002

    2002

Show all 21 references
  1. [9]

    and Tierney, M

    Joyal, A. and Tierney, M. An Extension of the Galois Theory of Grothendieck, Memoirs of the American Mathematical Society 309, 1984

    1984

  2. [10]

    Predicative theories of continuous lattices

    Kawai T. Predicative theories of continuous lattices. Logical Methods in Computer Science. 2021 May 27;17

    2021

  3. [11]

    Metzler, D. S. Topological and smooth stacks, arXiv:math.DG/0306176 (2003)

    2003

  4. [12]

    The classifying topos of a continuous groupoid

    Moerdijk, I. The classifying topos of a continuous groupoid. II. Cah. Topol. Geom. Differ. Categ. 31, No. 2 (1990), 137--168

    1990

  5. [13]

    Foundations of Topological Stacks I arXiv:math/0503247v1 (2005)

    Noohi, B. Foundations of Topological Stacks I arXiv:math/0503247v1 (2005)

    2005 arXiv

  6. [14]

    Etendues and stacks as bicategories of fractions Compositio Mathematica, tome 102, no 3 (1996), p

    Pronk, D. Etendues and stacks as bicategories of fractions Compositio Mathematica, tome 102, no 3 (1996), p. 243-303

    1996

  7. [15]

    Internal categories, anafunctors and localisations Theory and Applications of Categories, Vol

    Roberts, D. Internal categories, anafunctors and localisations Theory and Applications of Categories, Vol. 26, No. 29, 2012, pp. 788--829

    2012

  8. [16]

    On the Parallel Between the Suplattice and Preframe Approaches to Locale Theory, Annals of Pure and Applied Logic, 1-3, Vol

    Townsend, C.F. On the Parallel Between the Suplattice and Preframe Approaches to Locale Theory, Annals of Pure and Applied Logic, 1-3, Vol. 137 (2006), 391--412

    2006

  9. [17]

    Presenting Locale Pullback via Directed Complete Partial Orders, Theoretical Computer Science 316 (2004) 225-258

    Townsend, C.F. Presenting Locale Pullback via Directed Complete Partial Orders, Theoretical Computer Science 316 (2004) 225-258

    2004

  10. [18]

    Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms, Tbilisi Mathematical Journal Volume 10 Issue 3 (2017), 83-119

    Townsend, C.F. Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms, Tbilisi Mathematical Journal Volume 10 Issue 3 (2017), 83-119

    2017

  11. [19]

    Distributive Idempotents in an Order-Enriched Category

    Townsend, C.F. Distributive Idempotents in an Order-Enriched Category. Theory and Applications of Categories, Vol. 40, No. 9, 2024, pp. 278--300

    2024

  12. [20]

    A result about continuous lattices over the Sierpi\' n ski locale , Cahiers de Topologie et G\' e om\' e trie Diff\' e rentielle Cat\' e goriques LXVI(2), (2025) 19-32

    Townsend, C.F. A result about continuous lattices over the Sierpi\' n ski locale , Cahiers de Topologie et G\' e om\' e trie Diff\' e rentielle Cat\' e goriques LXVI(2), (2025) 19-32

    2025

  13. [21]

    Information systems for continuous posets, Theoretical Computer Science, vol

    Vickers, S.J. Information systems for continuous posets, Theoretical Computer Science, vol. 114 (1993), pp. 201--229

    1993

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.