Extending conceptual completeness via virtual ultracategories

Gabriel Saadia

REVIEW 2 major objections 3 minor 2 cited by

Extending conceptual completeness via virtual ultracategories

T0 review · 2 major / 3 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 fully reconstructed from the virtual ultracategory of its points, extending conceptual completeness from coherent to all such topoi.

desk verdict The new notion and the 0-dimensional theorem are worthwhile, but the main reconstruction proof skips the coherence checks in Proposition 6.13, so the preprint needs real referee work before the theorem is established. read the letter →

arxiv 2506.23935 v1 pith:YFAJXB5E submitted 2025-06-30 math.CT math.LO

Gabriel Saadia This is my paper · ORCID

classification math.CTmath.LO MSC 18B2503C2018C2054A20

keywords virtualultracategoriesconceptualcompletenesstoposwithenoughpointsultraproductstopologicalgroupoidsdescentcategorifiedStoneduality

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 claims that the points of any topos carry a virtual ultracategory structure: a proof-relevant categorification of the way ultrafilters converge in a topological space. It then claims that this structure contains enough information to rebuild the topos whenever the topos has enough points. Concretely, for any class X of points of a topos E, the category of ultrasheaves over the virtual ultracategory pt(E;X) is equivalent to the subtopos obtained by cutting E down to X. A topos with enough points is therefore fully determined by the virtual ultracategory of all its points. This generalizes conceptual completeness, with the earlier reconstruction theorems for coherent topoi becoming a special case in which the virtual ultracategory reduces to an ordinary ultracategory.

What carries the argument

The load-bearing object is the virtual ultracategory: a category whose objects are points and whose generalized arrows are ultraarrows $a \to (b_s)_{s:\mu}$, with identity and composition governed by sum ultrafilters. It is the categorified analogue of a relational $\beta$-algebra. The proof works by representing the topos as equivariant sheaves on a topological groupoid of 'amply indexed models', then transferring that representation through a descent theorem for virtual ultracategories. The 0-dimensional pillar is the characterization of etale maps by unique principal ultrafilter lifts, which reduces the topos-level reconstruction to the known topological case. The final packaging is a pseudoidempotent 2-adjunction between Grothendieck topoi and bounded virtual ultracategories.

What would settle it

Check the virtual ultracategory of points of $\mathrm{Set}^{\mathbb{N}}$ and see whether the evaluation functor into ultrasheaves is an equivalence; if no generating object of the required kind exists there, the proof as written breaks on a topos with enough points. A global refutation would be two non-equivalent toposes with enough points that nonetheless have equivalent virtual ultracategories of points.

Watch

Extended reading notes

Core claim

The central result is Theorem 8.3. For a topos $\mathcal{E}$ and a subclass $X$ of its points, the evaluation functor $\mathcal{E} \to \mathrm{sh}(\mathrm{pt}(\mathcal{E};X))$ factors as the inverse image of an embedding of a subtopos, and $\mathrm{sh}(\mathrm{pt}(\mathcal{E};X))$ is equivalent to $\mathcal{E}\upharpoonright X$, the largest subtopos of $\mathcal{E}$ for which $X$ is separating. When $X$ is all the points and $\mathcal{E}$ has enough points, this gives $\mathcal{E} \simeq \mathrm{sh}(\mathrm{pt}(\mathcal{E}))$: the topos is recovered exactly as the category of ultrasheaves on the virtual ultracategory of its points. The virtual ultracategory of points is built from homsets $\mathrm{Nat}(\mathcal{E}_a, \int_{s:\mu} \mathcal{E}_{b_s})$, a proof-relevant replacement of the statement 'the ultrafamily $(b_s)$ converges to $a$'.

Load-bearing premise

The proof that small separating sets of points suffice assumes the topos has a single object whose finite powers have subobjects that generate the whole topos; toposes such as $\mathrm{Set}^{\mathbb{N}}$ have enough points but no such object, so the argument as written does not cover all toposes with enough points.

Editorial extensions

If this is right

If the central claim is correct, any topos with enough points is determined up to equivalence by the virtual ultracategory of its points.
The coherent case follows as a special case: since coherent topoi have enough points, the new result recovers the earlier reconstruction theorem for coherent topoi.
The etale-map characterization gives an ultraconvergence-based description of sheaves over any topological space, not just compact Hausdorff spaces.
The 2-adjunction makes the collection of topoi with enough points reflect into bounded virtual ultracategories, so limits and colimits of such topoi can in principle be computed on the virtual side.
The restriction of a topos to all its points becomes a comonad, so 'points with topology' can be studied as an idempotent approximation process.

Reading between the lines

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

If the reconstruction stands, the virtual ultracategory of points is a complete invariant for topoi with enough points, which suggests asking which invariants of a topos—cohomology, homotopy, site presentations—can be read directly off the virtual ultracategory.
In the 0-dimensional case, the spaces whose virtual ultracategory is actually an ultracategory are the strongly sober ones; by analogy, characterizing topoi whose point virtual ultracategory is representable might single out coherent topoi among topoi with enough points.
The author explicitly raises the question of whether the axiom of choice can be dropped; since much of the theory relies only on the ultrafilter principle, a natural test is whether the reconstruction can be carried out in a choice-free metatheory.

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.

Desk Editor's Note

read the letter

Here's my take. The paper is genuinely new: virtual ultracategories haven't appeared before, and the connection to relational beta-modules is a natural and useful way to think about the points of arbitrary topoi. Theorem 2.11, the etale characterization, is a nice standalone result and its proof is elementary and self-contained. The recovery of Lurie's theorem as a special case is a good sanity check rather than a restatement. The 2-adjunction formulation is a pleasing bonus.

The reader's rejection is based on a counterexample that doesn't survive contact with the paper. The generator assumption in Section 7 is not false: in any Grothendieck topos with a small site, the coproduct of representables M has each representable as a subobject of M, so subobjects of M (let alone M^n) already form a generating family. In Set^N, M = terminal object works; subterminals separate parallel maps coordinatewise. So that particular objection is off the table.

The real soft spot is Proposition 6.13. The proof of essential surjectivity chooses arbitrary lifts h(f;x) and then asserts that the identity and associativity laws hold because 'everything flows fluently.' That is not a proof. Those laws require real diagram chases involving the descent cocone's unit and cocycle equations and the square (*); a failure in any one of them would break functoriality. Since Corollary 7.6, Corollary 7.9, and Theorem 8.3 all depend on this lemma, this is a load-bearing gap. I believe the claim may be true and fixable, but the preprint does not establish it. There are smaller things too: the passage from small separating X to arbitrary X in Theorem 8.3 is compressed about why the filtered diagram of small subsets is actually constant, and Remark 5.9 admits the notion of boundedness is underdeveloped. Those are minor by comparison.

Who should read this? People working on conceptual completeness, categorical logic, and ultrafilter methods will want to know about virtual ultracategories and Theorem 2.11. The main theorem deserves a serious referee, not a desk reject. Send it to review, and the referees should focus on Prop 6.13 and ask for a complete coherence verification.

Referee Report

2 major / 3 minor

Summary. The paper introduces virtual ultracategories, a categorification of relational beta-modules, and proves a reconstruction theorem: for a Grothendieck topos E and a class X of its points, the category of ultrasheaves over the virtual ultracategory of points is equivalent to the subtopos E restricted to X. In particular, a topos with enough points is recovered from the virtual ultracategory structure on its points, generalizing Makkai's and Lurie's conceptual completeness theorems. The proof strategy is to represent the topos by the topological groupoid of amply indexed models, reduce the reconstruction to the 0-dimensional case of topological spaces, and use a descent theorem for virtual ultracategories.

Significance. If the proof can be completed, this is a substantial contribution to categorical logic and topos theory. It introduces a new structure, virtual ultracategories, and establishes a strong reconstruction result for arbitrary Grothendieck toposes with enough points, placing Makkai's and Lurie's coherent completeness theorems in a wider framework. The paper also contains a self-contained 0-dimensional theorem characterizing etale maps via ultrafilter convergence, which is of independent interest. The overall strategy, using Wrigley's topological groupoid representation and a descent argument, is well-motivated and original. However, the current manuscript does not yet fully establish the central descent lemma, so the reconstruction theorem is not yet proven as written.

major comments (2)

[Proposition 6.13] The proof of the central descent lemma is not sufficiently detailed. In the essential-surjectivity part, a functor F is constructed from arbitrary choices of lifts h(a) and h(f;x), and the text states that "everything flows fluently" before giving abbreviated diagrammatic arguments. The identity and associativity laws for F are not actually verified: the square (∗) only compares two chosen lifts of the same ultraarrow f, while the associativity check requires controlling the interaction of chosen lifts of f, of the (g_s), and of the composite (g_s)∘f. The displayed diagrams do not exhibit all the required naturality and cocycle squares. Since Corollaries 7.6 and 7.9 and hence Theorem 8.3 all rest on Proposition 6.13, this omitted verification is load-bearing and must be supplied before the reconstruction theorem can be considered established.
[Theorem 8.3] The passage from small X to arbitrary X is not fully justified. The proof introduces a filtered poset I of small subsets A⊆X that are separating for E↾X and then asserts that sh(pt(E;X)) ≃ vUlt(colim_{A∈I} pt(E;A), Set). The paper does not show that I is nonempty or cofinal in the poset of all small subsets of X, nor that pt(E;X) is the colimit of pt(E;A) over this particular I. Moreover, the small case applies to every small A with value E↾A, not only to the A∈I; the conclusion would follow by taking the limit over all small subsets and using the definition of E↾X as a directed union. As written, this step needs either a proof of cofinality or a reformulation using all small subsets.

minor comments (3)

[Section 7, Notation] The assumption that there is an object M whose finite powers M^n generate E via subobjects should be stated precisely, with the intended meaning of "generate" (e.g., a dense generating family) and a proof that the example of a coproduct of representables satisfies it. The wording is ambiguous, and the uniqueness claim in Lemma 7.5 depends on this property.
[Lemma 7.5] The proof of uniqueness of the witness is compressed: after observing that f_M is determined, the text invokes the generating property of M without explaining how naturality and lexness of the functors involved allow passage from M to all objects. Expanding this argument would improve readability and correctness.
[Remark 8.2] The phrase "the biggest subtopos of E for which X is separating" appears to be inconsistent with Definition 8.1, which describes E↾X as the smallest subtopos containing all points of X. These two descriptions should be reconciled, since the former wording suggests a largest subtopos rather than a smallest one.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the reconstruction theorem is not obtained by assuming its own conclusion; the admitted unverified coherence checks in Proposition 6.13 are a proof gap, not a circular reduction.

full rationale

The central claim, Theorem 8.3, is not circular. The virtual ultracategory pt(E;X) is defined directly from the topos via homsets Nat(Ea, ∫ Ebs), and the evaluation functor ev is the canonical stalk functor; neither definition incorporates the equivalence sh(pt(E;X)) ≃ E↾X. The proof of the small separating case uses independent external results, chiefly Wrigley's representation theorem [Wri23, Prop 8.24] and Butz-Moerdijk groupoid representations [BM98], together with an elementary 0-dimensional case (Theorem 2.11). No fitted parameter is later relabeled as a prediction, and no uniqueness or reconstruction theorem of the present author is imported to force the conclusion. The one passage that admits missing support is Proposition 6.13: 'Only remains to show that F defines a functor (it is not obvious as the lifts are chosen arbitrarily) and that it is an antecedent of (H, η). There are a lot of coherences to check, but everything flows fluently.' This is an explicit omitted verification, and it is a genuine correctness risk at the heart of Corollaries 7.6, 7.9, and 7.12, but it is not circularity: the required coherences are stated as the descent cocone equations (unit and cocycle conditions) from Definition 6.5, not as the equivalence being proved. Similarly, the M-generator assumption in Section 7 ('We fix a M ∈ E such that the subobjects of the M^n generate E all together') is a substantive hypothesis about the topos, not an assumption of the target equivalence; whether it is always satisfiable is a soundness question, not a circularity question. The paper does not rely on self-citations in a load-bearing way, and its conclusion is not equivalent by construction to its inputs.

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

No fitted parameters and no new physical entities are introduced. The central new structure is the definition of virtual ultracategory, which is a mathematical contribution rather than an unexplained postulate. The proof leans on external representation theory, on an unjustified strong-generator assumption, and on choice.

assumptions (4)

standard math ZFC with choice and one universe
Used throughout for ultrafilter existence, cardinal choices, and lifting selections; the author notes in Remark 8.6 that the proof uses choice.
domain assumption Wrigley's representation theorem for groupoids of indexed models
Theorem 7.10, cited from [Wri23, Proposition 8.24], is not proved in this paper and carries part of the reconstruction burden.
ad hoc to paper There exists an object M whose finite powers M^n generate the topos via subobjects
Stated in Section 7 as if obvious, with a false example. Set^N is a topos with enough points but has no such single M, so the indexed-model construction is not justified for all topoi.
domain assumption Every topos with enough points has a small separating set of points
Needed for Proposition 6.1 and the proof of Theorem 8.3; standard for Grothendieck topoi but not proved in the paper.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Extending conceptual completeness via virtual ultracategories." pith.science (2026). https://pith.science/paper/YFAJXB5E

@misc{pith2026250623935,
  author       = {Pith},
  title        = {Pith review of: Extending conceptual completeness via virtual ultracategories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YFAJXB5E}},
  note         = {Machine review of arXiv:2506.23935}
}

abstract

We introduce the notion of virtual ultracategory. From a topological point of view, this notion can be seen as a categorification of relational $\beta$-algebras. From a categorical point of view, virtual ultracategories generalize ultracategories in the same way that multicategories generalize monoidal categories. From a logical point of view, whereas the points of a coherent topos form an ultracategory, the points of an arbitrary topos form a virtual ultracategory. We then extend Makkai--Lurie's conceptual completeness: a topos with enough points can be reconstructed from its virtual ultracategory of points.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

Generalised ultracategories and conceptual completeness of geometric logic
math.CT 2025-07 conditional novelty 6.0 of 10

Generalised ultracategories yield a proof that every topos with enough points is equivalent to the category of left ultrafunctors from its generalised ultracategory of points to Set.
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

9 extracted references · 6 canonical work pages · cited by 2 Pith papers

[10]

The classifying topos of a continuous groupoid. I

1016/0001-8708(87)90020-X. [Moe88] Ieke Moerdijk. “The classifying topos of a continuous groupoid. I”. In: Trans. Amer. Math. Soc. 310.2 (1988). doi: 10.2307/2000984. [MR77] M. Makkai and Gonzalo E. Reyes. First order categorical logic. Vol

work page doi:10.2307/2000984 1988
[1970]

Exact functors and measurable cardinals

[Bla76] A. Blass. “Exact functors and measurable cardinals”. In: Pacific J. Math. 63.2 (1976). doi: 10.2140/PJM.1976.63.335. [Bla77] A. Blass. “Two closed categories of filters”. In: Fund. Math. 94.2 (1977). doi: 10.4064/fm- 94-2-129-143 . [BM98] C. Butz and I. Moerdijk. “Representing topoi by topological groupoids”. In: J. Pure Appl. Algebra 130.3 (1998)...

arXiv 1976
[1977]

Functors which preserve elementary operations

[Joy71] A. Joyal. “Functors which preserve elementary operations”. In: Notices of the Ameri- can Mathematical Society 18.6 (1971). Preliminary report, p

work page 1971
[2010]

Beck’s theorem for pseudo-monads

doi: 10.1090/conm/530/10444. [LMV02] I. J. Le Creurer, F. Marmolejo, and E. M. Vitale. “Beck’s theorem for pseudo-monads”. In: J. Pure Appl. Algebra 173.3 (2002). doi: 10.1016/S0022-4049(02)00038-5 . [Lur18] J. Lurie. “Ultracategories”. notes

doi:10.1090/conm/530/10444 2002
[2018]

Stone duality for first order logic

url: https : / / www . math . ias . edu /~lurie / papers/Conceptual.pdf (visited on 06/30/2025). [Mak87] M. Makkai. “Stone duality for first order logic”. In: Adv. in Math. 65.2 (1987). doi:

work page 1987
[2022]

Towards higher topology

arXiv: 2211.03104. [Di 22b] I. Di Liberti. “Towards higher topology”. In: J. Pure Appl. Algebra 226.3 (2022). doi: 10.1016/j.jpaa.2021.106838. arXiv: 2009.14145. [Gar12] R. Garner. “Ionads”. In: J. Pure Appl. Algebra 216.8-9 (2012). doi: 10.1016/j.jpaa. 2012.02.013. arXiv: 0912.1415. [Gar20] R. Garner. “Ultrafilters, finite coproducts and locally connecte...

arXiv 2022
[2023]

On topological groupoids that represent theories

arXiv: 2306.16331. Department of Mathematics, Stockholm University, Sweden Email address: gabriel.saadia@gmail.com

work page Pith review arXiv
[2024]

Proper base change for separated locally proper maps

url: https://events.math. unipd.it/SFM/slide/rosolini_1.pdf. 36 REFERENCES [RT94] J. Reiterman and W. Tholen. “Effective descent maps of topological spaces”. In: Topology Appl. 57.1 (1994). doi: 10.1016/0166-8641(94)90033-7. [SS16] O. M. Schn¨ urer and W. Soergel. “Proper base change for separated locally proper maps”. In: Rend. Semin. Mat. Univ. Padova 1...

work page Pith review arXiv 1994

Show all 9 references

[2025]

[Joh77] P

arXiv: 2502.20597. [Joh77] P. T. Johnstone. Topos theory. Vol. Vol

arXiv

Pith tools

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

[1] [10]

The classifying topos of a continuous groupoid. I

1016/0001-8708(87)90020-X. [Moe88] Ieke Moerdijk. “The classifying topos of a continuous groupoid. I”. In: Trans. Amer. Math. Soc. 310.2 (1988). doi: 10.2307/2000984. [MR77] M. Makkai and Gonzalo E. Reyes. First order categorical logic. Vol

work page doi:10.2307/2000984 1988

[2] [1970]

Exact functors and measurable cardinals

[Bla76] A. Blass. “Exact functors and measurable cardinals”. In: Pacific J. Math. 63.2 (1976). doi: 10.2140/PJM.1976.63.335. [Bla77] A. Blass. “Two closed categories of filters”. In: Fund. Math. 94.2 (1977). doi: 10.4064/fm- 94-2-129-143 . [BM98] C. Butz and I. Moerdijk. “Representing topoi by topological groupoids”. In: J. Pure Appl. Algebra 130.3 (1998)...

arXiv 1976

[3] [1977]

Functors which preserve elementary operations

[Joy71] A. Joyal. “Functors which preserve elementary operations”. In: Notices of the Ameri- can Mathematical Society 18.6 (1971). Preliminary report, p

work page 1971

[4] [2010]

Beck’s theorem for pseudo-monads

doi: 10.1090/conm/530/10444. [LMV02] I. J. Le Creurer, F. Marmolejo, and E. M. Vitale. “Beck’s theorem for pseudo-monads”. In: J. Pure Appl. Algebra 173.3 (2002). doi: 10.1016/S0022-4049(02)00038-5 . [Lur18] J. Lurie. “Ultracategories”. notes

doi:10.1090/conm/530/10444 2002

[5] [2018]

Stone duality for first order logic

url: https : / / www . math . ias . edu /~lurie / papers/Conceptual.pdf (visited on 06/30/2025). [Mak87] M. Makkai. “Stone duality for first order logic”. In: Adv. in Math. 65.2 (1987). doi:

work page 1987

[6] [2022]

Towards higher topology

arXiv: 2211.03104. [Di 22b] I. Di Liberti. “Towards higher topology”. In: J. Pure Appl. Algebra 226.3 (2022). doi: 10.1016/j.jpaa.2021.106838. arXiv: 2009.14145. [Gar12] R. Garner. “Ionads”. In: J. Pure Appl. Algebra 216.8-9 (2012). doi: 10.1016/j.jpaa. 2012.02.013. arXiv: 0912.1415. [Gar20] R. Garner. “Ultrafilters, finite coproducts and locally connecte...

arXiv 2022

[7] [2023]

On topological groupoids that represent theories

arXiv: 2306.16331. Department of Mathematics, Stockholm University, Sweden Email address: gabriel.saadia@gmail.com

work page Pith review arXiv

[8] [2024]

Proper base change for separated locally proper maps

url: https://events.math. unipd.it/SFM/slide/rosolini_1.pdf. 36 REFERENCES [RT94] J. Reiterman and W. Tholen. “Effective descent maps of topological spaces”. In: Topology Appl. 57.1 (1994). doi: 10.1016/0166-8641(94)90033-7. [SS16] O. M. Schn¨ urer and W. Soergel. “Proper base change for separated locally proper maps”. In: Rend. Semin. Mat. Univ. Padova 1...

work page Pith review arXiv 1994