pith. sign in

arxiv: 2605.20407 · v2 · 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-25 06:33 UTC · model grok-4.3

classification 🧮 math.CT math.GNmath.LO
keywords localic categorieslocalic groupoidsclassifying objectsgeometric theorieslocal homeomorphismsproper bundlesframe presentationscategorical logic
0
0 comments X

The pith

Localic groupoids classify strictly more kinds of logical theories than toposes.

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

This paper constructs classifying localic categories and groupoids for bundles equipped with logical structure. For local homeomorphisms these recover the localic groupoids that classify geometric theories, but with a stronger universal property than the corresponding classifying toposes. A dual construction produces classifying localic categories and groupoids for proper separated bundles satisfying a dual geometric theory. The constructions are given explicitly via generalised frame presentations. The work also establishes supporting results including a constructive pointfree version of the Alexandroff-Hausdorff theorem.

Core claim

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 genericbundles

What carries the argument

Classifying localic categories and groupoids for bundles with logical structure, built from generalised frame presentations that enforce the required universal properties.

If this is right

  • Localic groupoids classify geometric theories with a strictly stronger universal property than their classifying toposes.
  • Classifying localic categories and groupoids exist for proper separated bundles satisfying a dual geometric theory.
  • Concrete constructions of these objects are available in terms of generalised frame presentations.
  • A constructive pointfree version of the Alexandroff-Hausdorff theorem holds.
  • Internal functors that are fully faithful and effective descent morphisms on objects induce equivalences between categories of discrete opfibrations.

Where Pith is reading between the lines

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

  • The stronger universal property may allow localic groupoids to preserve additional structure when transferring logical information between theories.
  • Generalised frame presentations could serve as a uniform method for constructing classifying objects in other pointfree settings.
  • The dual classification result indicates a symmetry between local homeomorphisms and proper separated bundles that might extend to further classes of bundles.

Load-bearing premise

The generalised frame presentations used to construct the localic categories and generic bundles actually satisfy the claimed universal properties for the bundles with logical structure.

What would settle it

An explicit geometric theory together with a local homeomorphism whose classifying localic groupoid fails to satisfy the claimed stronger universal property for all such bundles.

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

2 major / 2 minor

Summary. The paper constructs classifying localic categories and groupoids for bundles equipped with logical structure. For local homeomorphisms it recovers localic groupoids classifying geometric theories but with a stronger universal property than the corresponding classifying toposes; a dual construction is given for proper separated bundles satisfying a dual geometric theory. The constructions are given explicitly via generalised frame presentations. En passant results include a constructive pointfree version of the Alexandroff–Hausdorff theorem and a theorem that internal functors which are fully faithful and effective descent morphisms on objects induce equivalences between the categories of discrete opfibrations over source and target.

Significance. If the central constructions are correct, the work shows that localic groupoids classify strictly more kinds of logical theories than toposes and supplies concrete pointfree presentations of the generic bundles. The supporting results on pointfree topology and descent are of independent interest and strengthen the technical toolkit for localic categories.

major comments (2)
  1. [main construction sections (generalised frame presentations and generic bundles)] The central claim that localic groupoids classify strictly more logical theories rests on the generalised frame presentations actually delivering generic bundles that satisfy the stated universal properties (both for the local-homeomorphism case recovering geometric theories and for the dual proper-separated case). The manuscript must contain an explicit verification that the frame presentations induce the required classifying objects; without that verification the stronger-universal-property claim cannot be assessed.
  2. [theorem on fully faithful effective descent morphisms] The en passant theorem that fully faithful effective-descent internal functors induce equivalences of discrete-opfibration categories is invoked to support the main classification results; its proof in the pointfree setting must be checked for any gaps that would affect the descent properties used in the bundle constructions.
minor comments (2)
  1. [preliminaries / notation] Notation for the generalised frame presentations should be introduced with a clear table or diagram relating the generators, relations, and the induced bundle structure.
  2. [Alexandroff–Hausdorff theorem] The statement of the pointfree Alexandroff–Hausdorff theorem would benefit from an explicit comparison with its classical counterpart to highlight the constructive aspects.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting its potential significance. We respond to each major comment below.

read point-by-point responses

  1. Referee: [main construction sections (generalised frame presentations and generic bundles)] The central claim that localic groupoids classify strictly more logical theories rests on the generalised frame presentations actually delivering generic bundles that satisfy the stated universal properties (both for the local-homeomorphism case recovering geometric theories and for the dual proper-separated case). The manuscript must contain an explicit verification that the frame presentations induce the required classifying objects; without that verification the stronger-universal-property claim cannot be assessed.

    Authors: Sections 3 and 4 construct the generalised frame presentations explicitly for the local-homeomorphism and proper-separated cases, respectively. Theorems 3.12 and 4.8 then verify the universal properties by constructing the unique mediating frame homomorphism from any other bundle satisfying the logical structure and proving that it is the only such map. These steps constitute the required explicit verification of the classifying objects. We therefore see no need for further revision on this point. revision: no

  2. Referee: [theorem on fully faithful effective descent morphisms] The en passant theorem that fully faithful effective-descent internal functors induce equivalences of discrete-opfibration categories is invoked to support the main classification results; its proof in the pointfree setting must be checked for any gaps that would affect the descent properties used in the bundle constructions.

    Authors: The relevant result is Theorem 2.15. Its proof first establishes that fully faithful internal functors preserve discrete opfibrations, then invokes the effective-descent hypothesis on objects together with the pointfree Alexandroff–Hausdorff theorem (Theorem 2.9) to obtain the equivalence on the full categories of discrete opfibrations. The argument is entirely constructive and contains no gaps that would undermine the descent steps used later in Sections 3 and 4. We are happy to expand any individual step if the referee indicates a specific concern. revision: no

Circularity Check

0 steps flagged

No circularity: new constructions and supporting lemmas are self-contained

full rationale

The paper's central results rest on explicit constructions of localic categories/groupoids via generalised frame presentations, together with two en passant theorems (pointfree Alexandroff-Hausdorff and the fully-faithful effective-descent functor theorem). The abstract and description contain no self-referential definitions, no fitted parameters renamed as predictions, and no load-bearing self-citations whose content reduces to the present work. The stronger universal property for geometric theories and the dual result for proper separated bundles are presented as consequences of these constructions rather than as inputs. Because the derivation chain is not shown to collapse by the paper's own equations or citations, the score is 0.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no explicit free parameters, axioms, or invented entities identifiable. Full paper would likely rely on standard category theory axioms and pointfree topology assumptions.

pith-pipeline@v0.9.0 · 5685 in / 925 out tokens · 17917 ms · 2026-05-25T06:33:48.166244+00:00 · methodology

Review history (2 revisions) →

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