pith. sign in

arxiv: 2605.20407 · v1 · pith:2KNFKHPAnew · submitted 2026-05-19 · 🧮 math.CT · math.GN· math.LO

Generic bundles over a localic category

Graham Manuell , Joshua L. Wrigley This is my paper

Pith reviewed 2026-05-21 06:36 UTC · model grok-4.3

classification 🧮 math.CT math.GNmath.LO
keywords localic categorieslocalic groupoidsclassifying toposesgeometric theoriesgeneric bundlesdiscrete opfibrationseffective descentpointfree topology
0
0 comments X

The pith

Localic groupoids classify geometric theories via generic bundles over localic categories and satisfy a stronger universal property than classifying toposes, while also classifying dual theories for proper separated bundles.

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

The paper constructs classifying localic categories and groupoids for bundles that carry logical structure, using generalised frame presentations to give concrete descriptions of both the categories and the generic bundles. When the bundles are local homeomorphisms, the construction recovers the localic groupoids that classify geometric theories and shows these groupoids classify the theories in a stronger sense than the corresponding classifying toposes. A parallel construction yields classifying localic categories and groupoids for proper separated bundles that satisfy a dual geometric theory. The results rest on a constructive pointfree version of the Alexandroff-Hausdorff theorem together with a theorem on internal functors that are fully faithful and effective descent morphisms. This establishes that localic groupoids classify strictly more kinds of logical theories than toposes.

Core claim

We construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories, demonstrating that these groupoids satisfy a stronger universal property than that of their corresponding classifying toposes. We also prove a dual result that there exist classifying localic categories and groupoids for proper separated bundles satisfying a dual geometric theory. Thus, localic groupoids classify strictly more kinds of logical theories than toposes.

What carries the argument

Classifying localic categories and groupoids for generic bundles equipped with logical structure, constructed via generalised frame presentations.

If this is right

  • Localic groupoids classify geometric theories with a stronger universal property than their classifying toposes.
  • Localic groupoids also classify dual geometric theories associated to proper separated bundles.
  • Concrete constructions of the localic categories and generic bundles are available through generalised frame presentations.
  • Internal functors that are fully faithful and effective descent morphisms on objects induce equivalences between categories of discrete opfibrations over source and target.
  • A constructive pointfree version of the Alexandroff-Hausdorff theorem holds in this setting.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The stronger classification property may allow localic groupoids to capture logical theories that lack corresponding toposes.
  • The generalised frame presentation technique could extend to other classes of bundles or other kinds of logical structure not treated here.
  • The pointfree Alexandroff-Hausdorff theorem may simplify constructions in constructive locale theory beyond the present application.

Load-bearing premise

Bundles equipped with logical structure admit classifying localic categories and groupoids built from generalised frame presentations, and internal functors that are fully faithful and effective descent morphisms induce equivalences on the categories of discrete opfibrations.

What would settle it

A concrete counterexample would be a bundle carrying logical structure for which no localic category or groupoid classifies it via the stated universal property, or a geometric theory whose localic groupoid fails to classify it more strongly than the corresponding topos.

read the original abstract

In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories, demonstrating that these groupoids satisfy a stronger universal property than that of their corresponding classifying toposes. We also prove a dual result that there exist classifying localic categories and groupoids for proper separated bundles satisfying a dual geometric theory. Thus, localic groupoids classify strictly more kinds of logical theories than toposes. Our approach provides a concrete construction of the localic categories and the generic bundles involved in terms of generalised frame presentations. To accommodate our approach, we prove en passant a constructive, pointfree version of the Alexandroff--Hausdorff theorem and that internal functors that are fully faithful and effective descent morphisms on objects induce equivalences between the categories of discrete opfibrations over the source and target categories.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The paper constructs classifying localic categories and groupoids for bundles equipped with logical structure, using explicit generalised frame presentations. When the bundles are local homeomorphisms, the constructions recover localic groupoids classifying geometric theories and establish that these groupoids satisfy a stronger universal property than the corresponding classifying toposes. A dual result is proved for proper separated bundles satisfying a dual geometric theory. En passant, the paper proves a constructive pointfree version of the Alexandroff-Hausdorff theorem and shows that internal functors which are fully faithful and effective descent morphisms on objects induce equivalences on the categories of discrete opfibrations over source and target.

Significance. If the central constructions and the en passant equivalence hold, the work provides a concrete extension of the classification of logical theories from toposes to localic groupoids and categories, showing that the latter classify strictly more kinds of theories. The explicit frame-presentation approach and the pointfree Alexandroff-Hausdorff result are valuable additions to constructive locale theory and categorical logic.

major comments (1)
  1. The central results on classifying localic categories/groupoids for bundles with logical structure rely on the claim that an internal functor which is fully faithful and an effective descent morphism on objects induces an equivalence of categories of discrete opfibrations (invoked to transfer the universal property from the generic bundle). In the constructive localic setting, the manuscript should explicitly verify that the counit of the adjunction remains an isomorphism after imposing the bundle's logical axioms on the generalised frame presentation, and that descent data interacts correctly with the frame structure; without this verification the transfer step is not fully grounded.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive feedback. The referee's summary accurately captures the main contributions. We respond to the major comment as follows and will revise the manuscript accordingly to address the concern raised.

read point-by-point responses

  1. Referee: The central results on classifying localic categories/groupoids for bundles with logical structure rely on the claim that an internal functor which is fully faithful and an effective descent morphism on objects induces an equivalence of categories of discrete opfibrations (invoked to transfer the universal property from the generic bundle). In the constructive localic setting, the manuscript should explicitly verify that the counit of the adjunction remains an isomorphism after imposing the bundle's logical axioms on the generalised frame presentation, and that descent data interacts correctly with the frame structure; without this verification the transfer step is not fully grounded.

    Authors: We appreciate the referee pointing out the need for explicit verification in this key step. The equivalence of categories of discrete opfibrations is established in Theorem 4.5 as a general result in the 2-category of localic categories. The proof constructs the inverse to the functor induced by the internal functor using the effective descent property and shows the counit is an isomorphism by exhibiting an inverse morphism in the internal logic. Since the logical axioms of the bundle are imposed by adding relations to the generalised frame presentation of the generic bundle, and the constructions involved in the discrete opfibrations and the adjunction are defined in terms of frame operations that respect these relations, the isomorphism of the counit is preserved. Descent data consists of morphisms satisfying certain equations in the frame, which continue to hold after quotienting by the logical axioms. To make this fully explicit as suggested, we will include a dedicated paragraph or lemma in the revised version that verifies the compatibility of the counit and descent data with the imposition of the bundle's logical axioms. We believe this will ground the transfer step more clearly. revision: yes

Circularity Check

0 steps flagged

No significant circularity; explicit constructions via generalised frame presentations are self-contained

full rationale

The paper derives classifying localic categories and groupoids through concrete generalised frame presentations of bundles equipped with logical structure. The key lemma on equivalences of discrete opfibrations induced by fully faithful effective descent morphisms is presented as proven en passant within the paper itself in the constructive pointfree setting, rather than imported via self-citation or defined circularly. No derivation step reduces by construction to its own inputs or fitted parameters; the stronger universal property for localic groupoids follows from the explicit constructions and the stated equivalences without self-referential fitting or renaming. The approach is independent of external fitted data and remains self-contained against the provided logical axioms.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on standard background from category theory and locale theory plus the specific assumption that generalised frame presentations suffice to construct the generic bundles and classifying objects. Since only the abstract is available, a complete ledger cannot be extracted.

axioms (2)
  • standard math Standard axioms of category theory, locales, and constructive mathematics
    Invoked throughout for the constructions and the pointfree Alexandroff-Hausdorff theorem.
  • domain assumption Bundles equipped with logical structure admit the stated classifying objects
    Central to the main existence results for local homeomorphisms and proper separated bundles.
invented entities (1)
  • Generic bundles over a localic category no independent evidence
    purpose: To serve as the universal objects classifying logical structures in the bundles
    Introduced via the frame presentation constructions as the core new objects.

pith-pipeline@v0.9.0 · 5685 in / 1435 out tokens · 46363 ms · 2026-05-21T06:36:13.406660+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages

  1. [1]

    Abbadini and D

    M. Abbadini and D. Hofmann. Barr-coexactness for metric compact Hausdorff spaces.Theory Appl. Categ., 44(6):196–226, 2025

    work page 2025

  2. [2]

    Ávila, J

    F. Ávila, J. Urenda, and Á. Zaldívar. On the Cantor and Hilbert cube frames and the Alexandroff- Hausdorff theorem.J. Pure Appl. Algebra, 226(5):106919, 2022

    work page 2022

  3. [3]

    J. L. Bell.Toposes and local set theories: an introduction, volume 14 ofOxford Logic Guides. Oxford University Press, 1988

    work page 1988

  4. [4]

    Blechschmidt.Using the internal language of toposes in algebraic geometry

    I. Blechschmidt.Using the internal language of toposes in algebraic geometry. PhD thesis, Augsburg University, 2017

    work page 2017

  5. [5]

    Breiner.Scheme representation for first-order logic

    S. Breiner.Scheme representation for first-order logic. PhD thesis, Carnegie Mellon University, 2014

    work page 2014

  6. [6]

    Brown.Topology and groupoids

    R. Brown.Topology and groupoids. BookSurge, 2006.https://groupoids.org.uk/topgpds.html

    work page 2006

  7. [7]

    Bunge and R

    M. Bunge and R. Paré. Stacks and equivalence of indexed categories.Cah. Topol. Géom. Différ. Catég., 20(4):373–399, 1979

    work page 1979

  8. [8]

    Caramello.Theories, sites, toposes: relating and studying mathematical theories through topos- theoretic ‘bridges’

    O. Caramello.Theories, sites, toposes: relating and studying mathematical theories through topos- theoretic ‘bridges’. Oxford University Press, 2018

    work page 2018

  9. [9]

    M. M. Clementino, E. Giuli, and W. Tholen. Topology in a category: compactness.Port. Math., 53(4):397–434, 1996

    work page 1996

  10. [10]

    M. H. Escardó. Intersections of compactly many open sets are open. arXiv preprint arXiv:2001.06050, 2020

    work page arXiv 2001

  11. [11]

    M. P. Fourman and D. S. Scott. Sheaves and logic. In M. Fourman, C. Mulvey, and D. Scott, editors, Applications of Sheaves, Lecture Notes in Mathematics, pages 302–401. Springer Berlin Heidelberg, 1979

    work page 1979

  12. [12]

    Gabriel and M

    P. Gabriel and M. Zisman.Calculus of Fractions and Homotopy Theory. Springer-Verlag Berlin, Heidelberg, 1967

    work page 1967

  13. [13]

    Goldblatt.Topoi: The Categorical Analysis of Logic, volume 98 ofStudies in Logic and Foundations of Mathematics

    R. Goldblatt.Topoi: The Categorical Analysis of Logic, volume 98 ofStudies in Logic and Foundations of Mathematics. Elsevier, 1979

    work page 1979

  14. [14]

    Grothendieck

    A. Grothendieck. Technique de descente et théorèmes d’existence en géométrie algébrique. I. Général- ités. Descente par morphismes fidèlement plats. InSéminaire Bourbaki: années 1958/59 - 1959/60, exposés 169-204, volume 5, pages 299–327. Société mathématique de France, 1960

    work page 1958

  15. [15]

    Grothendieck

    A. Grothendieck. Catégories fibrées et descente. InRevêtements Etales et Groupe Fondamental, volume 224 ofLecture Notes in Mathematics, pages 145–194. Springer Berlin, Heidelberg, 1971

    work page 1971

  16. [16]

    Hakim.Topos annelés et schémas relatifs, volume 64 ofErgebnisse der Mathematik und ihrer Grenzgebiete

    M. Hakim.Topos annelés et schémas relatifs, volume 64 ofErgebnisse der Mathematik und ihrer Grenzgebiete. Springer Berlin, Heidelberg, 1972

    work page 1972

  17. [17]

    S. Henry. Localic metric spaces and the localic Gelfand duality.Adv. Math., 294:634–688, 2016

    work page 2016

  18. [18]

    S. Henry. Localic metric spaces and the localic Gelfand duality. arXiv version, arXiv:1411.0898v2, 2023

    work page arXiv 2023

  19. [19]

    Henry and C

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

    work page arXiv 2023

  20. [20]

    Hodges.Model Theory, volume 42 ofEncyclopedia of Mathematics and its Applications

    W. Hodges.Model Theory, volume 42 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, 1993

    work page 1993

  21. [21]

    Hofmann and C

    D. Hofmann and C. D. Reis. Convergence and quantale-enriched categories.Categ. Gen. Algebr. Struct. Appl., 9(1):77–138, 2018

    work page 2018

  22. [22]

    J. M. E. Hyland. Function spaces in the category of locales. In B. Banaschewski and R.-E. Hoffmann, editors,Continuous Lattices, pages 264–281. Springer, 1981

    work page 1981

  23. [23]

    Janelidze, M

    G. Janelidze, M. Sobral, and W. Tholen. Beyond barr exactness: Effective descent morphisms. In M. C. Pedicchio and W. Tholen, editors,Categorical Foundations: Special Topics in Order, 60 Topology, Algebra, and Sheaf Theory, Encyclopedia of Mathematics and its Applications, pages 359–406. Cambridge University Press, 2003

    work page 2003

  24. [24]

    Janelidze and W

    G. Janelidze and W. Tholen. Facets of descent I.Appl. Categ. Structures, 2:245–281, 1994

    work page 1994

  25. [25]

    Jech.Set Theory

    T. Jech.Set Theory. Springer Monographs in Mathematics. Springer Berlin, Heidelberg, 2003

    work page 2003

  26. [26]

    P. T. Johnstone.Sketches of an Elephant: A Topos Theory Compendium. Oxford University Press, Oxford, 2002

    work page 2002

  27. [27]

    Joyal and M

    A. Joyal and M. Tierney. An extension of the Galois theory of Grothendieck.Mem. Amer. Math. Soc., 51(309), 1984

    work page 1984

  28. [28]

    Karazeris and K

    P. Karazeris and K. Tsamis. Regular and effective regular categories of locales.Cah. Topol. Géom. Différ. Catég., 62(3):355–371, 2021

    work page 2021

  29. [29]

    Lambek and P

    J. Lambek and P. J. Scott.Introduction to higher order categorical logic, volume 7 ofCambridge studies in advanced mathematics. Cambridge University Press, 1986

    work page 1986

  30. [30]

    Le Creurer.Descent of internal categories

    I. Le Creurer.Descent of internal categories. PhD thesis, Université Catholique de Louvain, 1999

    work page 1999

  31. [31]

    MacLane and I

    S. MacLane and I. Moerdijk.Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer, New York, 1994

    work page 1994

  32. [32]

    Makkiai and G

    M. Makkiai and G. Reyes.First order categorical logic: model-theoretical methods in the theory of topoi and related categories. Springer-Verlag, Berlin Heidelberg, 1977

    work page 1977

  33. [33]

    Manuell.Quantalic spectra of semirings

    G. Manuell.Quantalic spectra of semirings. PhD thesis, University of Edinburgh, 2019

    work page 2019

  34. [34]

    G. Manuell. The spectrum of a localic semiring.Math. Proc. Cambridge Philos. Soc., 173(3):647–668, 2022

    work page 2022

  35. [35]

    G. Manuell. Pointfree topology and constructive mathematics. arXiv preprint arXiv:2304.06000, 2023

    work page arXiv 2023

  36. [36]

    G. Manuell. Generalised presentations of locales. In preparation, 2026

    work page 2026

  37. [37]

    Manuell and J

    G. Manuell and J. L. Wrigley. The representing localic groupoid for a geometric theory.Expositions Theory Appl. Categ., 2:1–41, 2024

    work page 2024

  38. [38]

    Marra and L

    V. Marra and L. Reggio. A characterisation of the category of compact Hausdorff spaces.Theory Appl. Categ., 35(51):1871–1906, 2020

    work page 1906

  39. [39]

    Moerdijk

    I. Moerdijk. The classifying topos of a continuous groupoid I.Trans. Amer. Math. Soc., 310(2):629– 668, 1988

    work page 1988

  40. [40]

    Picado and A

    J. Picado and A. Pultr.Frames and Locales: Topology without Points. Frontiers in Mathematics. Springer, Basel, 2012

    work page 2012

  41. [41]

    T. Plewe. Localic triquotient maps are effective descent maps.Math. Proc. Cambridge Philos. Soc., 122(1):17–43, 1997

    work page 1997

  42. [42]

    D. A. Pronk. Etendues and stacks as bicategories of fractions.Compos. Math., 102(3):243–303, 1996

    work page 1996

  43. [43]

    D. M. Roberts. Internal categories, anafunctors and localisations.Theory Appl. Categ., 26(29):788–829, 2012

    work page 2012

  44. [44]

    D. M. Roberts. The elementary construction of formal anafunctors.Categ. Gen. Algebr. Struct. Appl., 15(1):183–229, 2021

    work page 2021

  45. [45]

    A. Ščedrov. Forcing and classifying topoi.Mem. Amer. Math. Soc., 48(295), 1984

    work page 1984

  46. [46]

    Tommasini

    M. Tommasini. Some insights on bicategories of fractions: representations and compositions of 2-morphisms.Theory Appl. Categ., 31(10):257–329, 2016

    work page 2016

  47. [47]

    J. J. C. Vermeulen. Proper maps of locales.J. Pure Appl. Algebra, 92(1):79–107, 1994

    work page 1994

  48. [48]

    S. Vickers. Locales and toposes as spaces. In M. Aiello, I. Pratt-Hartmann, and J. Van Benthem, editors,Handbook of spatial logics, pages 429–496. Springer, Dordrecht, 2007

    work page 2007

  49. [49]

    J. L. Wrigley. Topoi with enough points and topological groupoids.J. Pure Appl. Algebra, 229(10):108073, 2025. 61 Department of Mathematical Sciences, Stellenbosch University, South Africa National Institute for Theoretical and Computational Sciences, Stellenbosch, South Africa Email address:graham@manuell.me Université Paris Cité, CNRS, IRIF, F-75013, Pa...

    work page 2025