Pith. sign in

REVIEW 5 major objections 5 minor 1 cited by

Generalised ultracategories and conceptual completeness of geometric logic

T0 review · 5 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read A topos with enough points can be reconstructed from its generalised ultracategory of points: left ultrafunctors between point categories are exactly geometric morphisms between the toposes.

desk verdict A genuinely new generalisation of ultracategories with a plausible main theorem, but the proof leans on an unproved sheaf correspondence; worth reviewing, not yet citable as a proof. read the letter →

arxiv 2507.07922 v3 pith:CKBD5HGF submitted 2025-07-10 math.CT math.LO

Ali Hamad This is my paper · ORCID
classification math.CTmath.LO MSC 18B2503G30
keywords generalisedultracategoriestoposeswithenoughpointsconceptualcompletenessgeometriclogicleftultrafunctorsultrafilterconvergenceultrapreorderstopologicalgroupoids
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

This paper introduces generalised ultracategories, a relational variant of the established ultracategory framework in which formal Hom-sets $\mathrm{Hom}(A,\int_I M_i\,d\mu)$ represent maps into an ultraproduct even when genuine ultraproducts do not exist. It argues that any topos with enough points can be reconstructed from its points: the main theorem gives an equivalence of categories between left ultrafunctors $\mathrm{Lult}(M_E,M_{E'})$ between the generalised ultracategories of points of two such toposes and geometric morphisms $\mathrm{Geom}(E,E')$ between the toposes themselves. This extends the known conceptual completeness results, previously available for coherent toposes, to the larger class of toposes with enough points. The guiding observation is that topological spaces, viewed as ultrapreorders, encode ultrafilter convergence through these formal Hom-sets, and the category of points of a topos carries the same kind of convergence structure.

What carries the argument

The central object is the generalised ultracategory: a category equipped with formal Hom-sets $\mathrm{Hom}(A,\int_I M_i\,d\mu)$ for every object $A$, family of objects $(M_i)_{i\in I}$, and ultrafilter $\mu$ on $I$, together with change-of-base maps $\Xi$ and composition maps $\beta$ satisfying unit, associativity, and compatibility axioms. These formal Hom-sets encode ultraproduct-like structure without requiring an ultraproduct operation to exist. The load-bearing construction is that topological spaces become ultrapreorders under this structure, with ultrafilter convergence captured by which formal Hom-sets are non-empty, and that the category of points of a topos inherits a generalised ultrastructure by embedding into the functor category over a site of definition. The bridge between the two worlds is the equivalence $\mathrm{Sh}(X) \simeq \mathrm{Lult}(X,\mathrm{Set})$ for every topological space $X$ (Theorem 5.7), which lets the author identify the lax-slice categories $\mathrm{Top}//M_E$ and $\mathrm{Top}//E$. A known representation of toposes with enough points as colimits of topological groupoids then supplies the final comparison between geometric morphisms and cloven Cartesian functors between lax slices.

What would settle it

Take a non-compact Hausdorff space $X$ and compute both sides of Theorem 5.7 explicitly: the etale space over $X$ built from a left ultrafunctor $F$, and the left ultrafunctor built from an etale space by taking stalks. If the two processes fail to be inverse up to equivalence, or if the topology defined on the total space fails the convergence axioms, then the equivalence $\mathrm{Top}//M_E \simeq \mathrm{Top}//E$ is not established, because its proof uses this identification fibrewise for arbitrary $X$.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central result is Theorem 7.1: for toposes $E$ and $E'$ with enough points, with $M_E$ and $M_{E'}$ their respective generalised ultracategories of points, there is an equivalence of categories between $\mathrm{Lult}(M_E,M_{E'})$ and $\mathrm{Geom}(E,E')$. Replacing $E'$ by the classifying topos of the theory of objects $S[O]$ yields $\mathrm{Lult}(M_E,\mathrm{Set}) \simeq E$, so a topos with enough points is reconstructed from its generalised ultracategory of points. The equivalence is proved in three stages: left ultrafunctors between point categories correspond to cloven Cartesian functors between lax-slice categories over the 2-category of topological spaces (Theorem 7.2); the lax slice over $M_E$ is equivalent, fibrewise over spaces, to the lax slice over $E$ (Theorem 7.3); and geometric morphisms between toposes are equivalent to cloven Cartesian functors between their lax slices (Theorem 7.5).

Load-bearing premise

The chain of equivalences rests on Theorem 5.7, which claims that for every topological space $X$, sheaves on $X$ are the same as left ultrafunctors from $X$ to sets; the paper sketches this identification but leaves the verification that the two constructions are inverse, and compatible along continuous maps, to the reader, so any gap there would propagate through the whole reconstruction.

Editorial extensions

If this is right

  • Every topos with enough points $E$ is equivalent to $\mathrm{Lult}(M_E,\mathrm{Set})$, so the generalised ultracategory of points determines the topos up to equivalence.
  • Two toposes with enough points are Morita equivalent exactly when their generalised ultracategories of points are equivalent, making the generalised ultrastructure a complete invariant for such toposes.
  • The coherent case is recovered as a special instance, since coherent toposes have enough points and, for them, the new notion of left ultrafunctor agrees with the earlier one.
  • Geometric morphisms between toposes with enough points can be computed as cloven Cartesian functors between lax-slice categories over the 2-category of topological spaces, offering a new route to questions about geometric logic.

Reading between the lines

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

  • Because the proof of Theorem 7.2 uses topological spaces to realise generalised morphisms, the author's technique suggests that the 2-category of generalised ultracategories is densely generated by topological spaces; if made precise, this would let questions about arbitrary generalised ultracategories be reduced to questions about spaces and their sheaves.
  • The paper leaves open whether its generalised ultracategories coincide with the virtual ultracategories of an independent recent approach; if they do, the two frameworks would mutually support a reconstruction theorem for all toposes with enough points.
  • The reconstruction is routed through the colimit-of-topological-groupoids presentation of a topos, so the equivalence $\mathrm{Lult}(M_E,\mathrm{Set}) \simeq E$ is in principle constructive; a careful reading of the proof could yield an explicit inverse functor for any site whose groupoid presentation is tractable.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

5 major / 5 minor

Summary. The paper introduces 'generalised ultracategories', a relational enrichment of Lurie's ultracategories in which ultraproducts are replaced by formal generalised Hom-sets. It shows that topological spaces, viewed with their specialisation preorders, form generalised ultracategories via ultrafilter convergence, and that the category of points of a topos carries a canonical generalised ultrastructure. The main theorem (Theorem 7.1) asserts that for toposes E and E' with enough points, the category of left ultrafunctors between their generalised ultracategories of points is equivalent to the category of geometric morphisms Geom(E,E'). The proof is structured as three equivalences: Lult(M_E,M_E') ≃ ClovenCart(Top//M_E, Top//M_E'); Top//M_E ≃ Top//E as 2-fibrations over Top; and ClovenCart(Top//E, Top//E') ≃ Geom(E,E'), the last using the Butz-Moerdijk representation of toposes with enough points as colimits of topological groupoids.

Significance. If the main theorem is correct, it is a substantial extension of Makkai's and Lurie's conceptual completeness theorems from coherent toposes to all toposes with enough points, and it provides a pleasing reconstruction principle: a topos with enough points is recovered from its generalised ultracategory of points. The paper also contributes a useful framework of ultrapreorders and shows that topological spaces embed fully faithfully into generalised ultracategories. The author is explicit about the intended architecture, and the appendices contain substantial verification work. On the other hand, the paper currently rests on several results that are stated with proofs left to the reader or delegated to the author's previous preprints; the central chain is therefore not yet fully supported. I found no circularity: the reliance on [9] and [10] is dependence on prior work, not use of the main theorem to prove itself.

major comments (5)
  1. [§5.1, Theorem 5.7] Theorem 5.7, the equivalence Lult(X,Set) ≃ Sh(X) for every topological space X, is load-bearing for Theorem 7.3 and hence for Theorem 7.1, but it is not proved. The proof constructs a topology on E=∐F(x) from a left ultrafunctor F and then states: 'We leave to the reader showing that these two processes are functorial and are inverses of each other (up to equivalence).' It also invokes [9, Lemma 3.4] from an earlier preprint without verifying its hypotheses, and it does not check that the inverse construction from an étale bundle satisfies all the generalised ultracategory axioms of §2. Since the paper uses this equivalence for arbitrary (not necessarily compact Hausdorff) spaces, this is a genuine gap in the proof of the main theorem.
  2. [§7.1, Theorem 7.2 and Appendix D] The proof of Theorem 7.2 depends on topological spaces I_μ and I_{μ,(λ_i)} whose existence is asserted rather than established. The text says 'The proof that this construction satisfies 5.3 is left to the reader' for I_μ, and for I_{μ,(λ_i)} it says 'To show that this is a topological space, we have of course to use [25] (by checking lots of cases).' Appendix D provides a case analysis, but many steps are conclusions announced without derivation, and the analysis does not fully verify the closure conditions of Theorem 5.3. In particular, the claimed continuity of the map I_{R_I ι_i λ_i dμ} → I_{μ,(λ_i)} is only stated, yet this map is used to prove the composition axiom for the reconstructed left ultrafunctor f.
  3. [§7.2, Theorem 7.3] Theorem 7.3 claims an equivalence of 2-fibrations over Top between Top//M_E and Top//E, but the proof establishes only that the fibres are equivalent. The passage from fibre-wise equivalence to an equivalence of discrete 2-fibrations is dismissed with 'the proof can be deduced by inspecting the following diagram'. This is insufficient: one must prove naturality with respect to continuous maps, compatibility with cartesian lifts, and coherence for 2-cells. Because Theorem 7.1 passes through this fibred equivalence, the gap is load-bearing.
  4. [§7.2, fibre equivalence Lult(X,Fun(C,Set)) ≃ Fun(C,Lult(X,Set))] The key exchange equivalence used in the proof of Theorem 7.3 is asserted rather than proved. The text says 'It is easily verifiable that these maps σ'_μ indeed satisfy the compatibility axioms' and 'one can easily verify that this gives F a left ultrastructure', but no verification is supplied. The restriction to J-continuous lex functors is also handled by a stalkwise epimorphism argument that relies on the unproved equivalence Lult(X,Set) ≃ Sh(X) and on Sh(X) having enough points. This equivalence is essential for identifying the fibres of Top//M_E and Top//E.
  5. [§7.3, Lemma 7.6 and Lemma 7.8] The proof that the forgetful functor from Top/E to Topos has colimit E is not complete. Lemma 7.8, which supplies the comparison maps between the pullbacks of a sheaf along different points, ends with 'one can easily notice that the basic open sets in both coincide'; this is the key topological step in proving that the constructed cocone is a colimit. Without a full proof of Lemma 7.8, the equivalence ClovenCart(Top//E,Top//E') ≃ Geom(E,E') in Theorem 7.5 is not established, and Theorem 7.1 remains unsupported.
minor comments (5)
  1. [§5.2, Theorem 5.8] The statement of Theorem 5.8 says there is a canonical generalised ultrastructure 'on A', but the construction defines Hom(A,∫_I M_i dμ) as Hom_B(A,∫_I M_i dμ), which only makes sense when the objects A and M_i lie in the full subcategory B. The intended statement is presumably a structure on B; this should be corrected to avoid confusion.
  2. [§6] The notation for fibred functors is inconsistent: the text alternately uses 'ClovCart' and 'ClovenCart', and the definition of a cloven Cartesian functor is stated informally. Please standardise the terminology and the notation.
  3. [§7.1] In the proof of Theorem 7.2, the sentence 'Now we claim that for any topological space X and any left ultrafunctor h, we have a natural isomorphism of left ultrafunctors between f∘h and F(h)' is not justified by the surrounding text; the diagram involving X_μ only shows equality of underlying functors, not equality of ultrastructure. This point needs a proper argument even if the overall strategy is correct.
  4. [Appendix A] The verification that the underlying category is a category uses many diagrams that are labelled 'commutes by ...' without giving the diagram in full. Since this is an appendix intended to supply the deferred proof, more explicit justifications are needed for the reader to follow the composition axiom.
  5. [Throughout] There are numerous typographical and formatting issues: 'genralised', 'E F E', inconsistent use of 'Hom' vs. 'Hom', and a diagram in §7.3 whose typesetting is garbled (e.g., the line 'HomGroupoids(X,G •)≃ ∗'). These do not affect the mathematics but should be cleaned up.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the main theorem is a genuine extension built from independent definitions, constructions, and external results; the noted proof gaps are not circular steps.

full rationale

The derivation of Theorem 7.1 is a chain of three equivalences, none of which restates the conclusion by construction. The generalised ultrastructure is introduced axiomatically, and the examples (topological spaces, points of a topos) are constructed rather than being defined in terms of the theorem. Theorem 5.7, the equivalence Lult(X,Set)≃Sh(X) for every topological space X, is load-bearing for Theorem 7.3, but it is not a fitted input or a self-referential definition: it is a proposed generalisation of Lurie's compact-Hausdorff result, argued by adapting the author's own proof in [9], and the cited lemma [9, Lemma 3.4] has stated assumptions that do not include the target result. Leaving the inverse and functoriality checks to the reader is a proof obligation, not circularity. Theorem 7.2 constructs a left ultrafunctor from a cloven Cartesian functor using auxiliary spaces I_μ and I_μ,(λi); the unit, composition, and change-of-base checks are justified from the defining universal/continuity properties of those spaces, not from the equivalence being proved. Theorem 7.5 appeals to the external Moerdijk–Butz representation theorem and pseudo-coend calculus. No equation is defined in terms of the claimed equivalence, no parameter is fitted and then renamed a prediction, and no uniqueness theorem from the author's own prior work is invoked to forbid alternatives. The extensive self-citations to [9] and [10] are to separate preprints with their own statements and proofs, and the central claim retains independent content. Therefore no significant circularity is present.

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

The central proof does not introduce numerical free parameters or new physical entities. It relies on standard background from topos theory and the author's prior papers. The main novel ingredient, generalised ultracategories, is a defined mathematical structure rather than a postulated entity.

assumptions (3)
  • standard math Every topos with enough points can be represented as a colimit of topological groupoids (Moerdijk-Butz representation).
    Used in the proof of Lemma 7.6 and Theorem 7.5 to reconstruct the topos from a topological groupoid.
  • standard math Lurie's ultracategories and left ultrafunctors satisfy the categorical Fubini transform and the ultraproduct diagonal map properties as developed in [16].
    Background for the definition of generalised ultracategories and for verifying the axioms in Appendix B.
  • domain assumption The author's prior results in [10] (ultracategories as colax algebras for the pseudo-monad T) and [9] (bundles of metric structures as left ultrafunctors) are correct.
    Used to prove Theorems 5.7, 5.8 and in Appendix C. These are self-citations but prior work with their own proofs.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Generalised ultracategories and conceptual completeness of geometric logic." pith.science (2026). https://pith.science/paper/CKBD5HGF

@misc{pith2026250707922,
  author       = {Pith},
  title        = {Pith review of: Generalised ultracategories and conceptual completeness of geometric logic},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CKBD5HGF}},
  note         = {Machine review of arXiv:2507.07922}
}
read the original abstract

We introduce the theory of generalised ultracategories, these are relational extensions to ultracategories as defined by Lurie. An essential example of generalised ultracategories are topological spaces, and these play a fundamental role in the theory of generalised ultracategories. Another example of these generalised ultracategories is points of toposes. In this paper, we show a conceptual completeness theorem for toposes with enough points, stating that any such topos can be reconstructed from its generalised ultracategory of points. This is done by considering left ultrafunctors from topological spaces to the category of points and paralleling this construction with another known fundamental result in topos theory, namely that any topos with enough points is a colimit of a topological groupoid.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A Lightweight Learned Cardinality Estimation Model

    cs.DB 2025-08 conditional novelty 5.0 of 10

    Shows that every topos with enough points is equivalent to the category of etale spaces over its points equipped with a canonical ultraconvergence structure, via a proof avoiding groupoid representations.

Reference graph

Works this paper leans on

25 extracted references · 24 canonical work pages · cited by 1 Pith paper

  1. [24]

    Extending conceptual completeness via virtual ultracategories

    Gabriel Saadia. Extending conceptual completeness via virtual ultracategories. arxiv preprint https://arxiv.org/abs/2506.23935, 2025

    arXiv 2025

  2. [9]

    Bundles of metric structures as left ultrafunctors.arxiv preprinthttps: // arxiv

    Ali Hamad. Bundles of metric structures as left ultrafunctors.arxiv preprinthttps: // arxiv. org/ abs/ 2406. 11076, 2024

    work page 2024

  3. [10]

    Ultracategories as colax algebras for a pseudo-monad on cat.https: // arxiv

    Ali Hamad. Ultracategories as colax algebras for a pseudo-monad on cat.https: // arxiv. org/ abs/ 2502. 20597, 2025

    work page 2025

  4. [25]

    commutativity of products with directed colimits

    Oswald Wyler. Convergence axioms for topology.Annals of the New York Academy of Sciences, 806(1):465–475, 1996. 45 Appendix A: The underlying category of a generalised ultra- category In this appendix, we show that the underlying category of a generalised ultracategory is indeed a category: To do so we start by verifying right unit axiom which expresses t...

    work page 1996

  5. [1]

    Relational algebras

    Michael Barr. Relational algebras. InReports of the Midwest Category Seminar IV, pages 39–55. Springer, 2006

    work page 2006

  6. [2]

    Th´ eorie formelle des bicat´ egories.Esquisses Math´ emataiques 25, 1976

    Sym´ eon Bozapalides. Th´ eorie formelle des bicat´ egories.Esquisses Math´ emataiques 25, 1976

    work page 1976

  7. [3]

    Fibred 2-categories and bicategories.Journal of pure and applied algebra, 218(6):1034–1074, 2014

    Mitchell Buckley. Fibred 2-categories and bicategories.Journal of pure and applied algebra, 218(6):1034–1074, 2014

    work page 2014

  8. [4]

    Representation of topoi by topological spaces.Journal of Pure and Applied algebra 130 223-235, 1998

    Carsten Butz and Ieke Moerdijk. Representation of topoi by topological spaces.Journal of Pure and Applied algebra 130 223-235, 1998

    work page 1998

Show all 25 references
  1. [5]

    Topological representation of sheaf cohomology of sites

    Carsten Butz and Ieke Moerdijk. Topological representation of sheaf cohomology of sites. Compositio Mathematica, 118(2):217–233, 1999

    1999

  2. [6]

    Oxford University Press, 2018

    Olivia Caramello.Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic’bridges’. Oxford University Press, 2018. 44

    2018

  3. [7]

    Homotopy theory and calculus of fraction.Ergebnisse der Mathematik, Bd, 35

    Peter Gabreil and Michel Zisman. Homotopy theory and calculus of fraction.Ergebnisse der Mathematik, Bd, 35

  4. [8]

    Lax colimits and free fibrations in ∞-categories.Documenta Mathematica, 22:1255–1266, 2017

    David Gepner, Rune Haugseng, and Thomas Nikolaus. Lax colimits and free fibrations in ∞-categories.Documenta Mathematica, 22:1255–1266, 2017

    2017

  5. [11]

    Notes on lax ends.arXiv preprint arXiv:2210.01522, 2022

    Kengo Hirata. Notes on lax ends.arXiv preprint arXiv:2210.01522, 2022

    2022 arXiv

  6. [12]

    When do kan extensions preserve limits/colimits? MathOverflow

    John Bourke (https://mathoverflow.net/users/17696/john bourke). When do kan extensions preserve limits/colimits? MathOverflow. URL:https://mathoverflow.net/q/112206(ver- sion: 2024-09-12)

    2024

  7. [13]

    Oxford University Press, 2002

    Peter T Johnstone.Sketches of an Elephant: A Topos Theory Compendium: Volume 2, vol- ume 2. Oxford University Press, 2002

    2002

  8. [14]

    Discrete 2-fibrations.Higher structures Volume 8, Issue 1, 2024

    Michael Lambert. Discrete 2-fibrations.Higher structures Volume 8, Issue 1, 2024

    2024

  9. [15]

    Cambridge University Press, 2021

    Fosco Loregian.(Co) end calculus, volume 468. Cambridge University Press, 2021

    2021

  10. [16]

    Ultracategories.Preprint available athttps: // www

    Jacob Lurie. Ultracategories.Preprint available athttps: // www. math. ias. edu/ ~ lurie/ papers/ Conceptual. pdf, 2018

    2018

  11. [17]

    Sheaves in geometry and logic: A first introduction to topos theory.Universitext

    Saunders MacLane and Ieke Moerdijk. Sheaves in geometry and logic: A first introduction to topos theory.Universitext. Springer Science & Business Media, 2012

    2012

  12. [18]

    Stone duality for first order logic.Advances in Mathematics, 65(2):97–170, 1987

    Michael Makkai. Stone duality for first order logic.Advances in Mathematics, 65(2):97–170, 1987

    1987

  13. [19]

    Strong conceptual completeness for first-order logic.Annals of Pure and Applied Logic, 40(2):167–215, 1988

    Michael Makkai. Strong conceptual completeness for first-order logic.Annals of Pure and Applied Logic, 40(2):167–215, 1988

    1988

  14. [20]

    The classifying topos of a continuous groupoid

    Ieke Moerdijk. The classifying topos of a continuous groupoid. i.Transactions of the American Mathematical Society, 310(2):629–668, 1988

    1988

  15. [21]

    On product and change of base for toposes.Cahiers de Topologie et G´ eom´ etrie Diff´ erentielle Cat´ egoriques, 26(1):43–61, 1985

    Andrews Pitts. On product and change of base for toposes.Cahiers de Topologie et G´ eom´ etrie Diff´ erentielle Cat´ egoriques, 26(1):43–61, 1985

    1985

  16. [22]

    Springer, 1977

    Gonzalo E Reyes and Michael Makkai.First Order Categorical Logic. Springer, 1977

    1977

  17. [23]

    Structures in Foundations of Mathematics Padova

    Giuseppe Rosolini. Ultracompletion. Presented at the conference “Structures in Foundations of Mathematics Padova”’, 2024

    2024

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.