Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Approximate Fibrations in Higher Topos Theory

T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read This paper defines approximate fibrations for geometric morphisms of ∞-topoi as internal corepresentability of the Y-shape functor, and proves this agrees with shape fibrations and, classically, with approximate fibrations of locally…

desk verdict A genuinely new internal ∞-topos definition of approximate fibrations; the main risk is the unpublished Martini-Wolf inputs it leans on, but the paper is coherent and deserves serious refereeing. read the letter →

arxiv 2510.24629 v1 pith:HBVLNZ3J submitted 2025-10-28 math.GT math.ATmath.CT

Christian Kremer , Marco Volpe This is my paper · ORCID
classification math.GTmath.ATmath.CT MSC 18N6055P55
keywords approximatefibrations∞-topostheoryshapecell-likemapsgeometricmorphismsinternalhighercategoryhereditaryequivalenceproper
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 aims to transfer the classical theory of approximate fibrations—maps that lift homotopies only up to an open cover—into higher topos theory, where continuous maps are replaced by geometric morphisms of ∞-topoi. It proposes that a proper geometric morphism f:X→Y is an approximate fibration precisely when its Y-shape functor F_*F^* is internally corepresentable, and it proves that under local contractibility and a mild point condition this is equivalent to being a shape fibration and also to being a shape quasi-fibration. A sympathetic reader should care because this is not a parallel new definition: Corollary 1.3 shows that for proper maps of locally compact ANRs the new notion is exactly the classical approximate fibration notion for spaces, so topos-theoretic tools now point at manifold topology. The paper also upgrades the earlier topos-theoretic characterization of cell-like maps to a purely topos-theoretic theorem identifying them with hereditary shape equivalences and, under the same hypotheses, with maps whose point-fibres have trivial shape.

What carries the argument

The central object is the Y-shape of a geometric morphism f:X→Y: the Y-functor F_*F^*:Ω_Y→Ω_Y, defined sectionwise by V↦f_*f^*V×_{f_*f^*U}U over U, which packages all base-changed shape information. Approximate fibration is defined as internal corepresentability of this functor, i.e. F_*F^* ≃ Map_{Ω_Y}(f_♯(1_X),−) for some object f_♯(1_X) in Y. The proof machinery is the framework of internal higher category theory the paper cites as [MW25, MW23]: the equivalence between internal Y-topoi and the over-category Top/Y, the characterization of proper geometric morphisms as those whose Y-functors preserve internally filtered colimits, and the identification of internally compact objects in Ω_Y with locally constant objects with compact values. These allow the authors to reduce statements about all objects to statements about locally constant compact objects and then to points of Y.

What would settle it

A concrete counterexample would be a proper geometric morphism f:X→Y of locally contractible ∞-topoi with Y^hyp having enough points that is a shape quasi-fibration but not a shape fibration; Theorems 1.2 and 4.10 assert the two coincide. A second decisive check is to find a proper map of locally compact ANRs that is an approximate fibration in the classical sense defined by homotopy lifting up to open covers but whose associated sheaf geometric morphism fails internal corepresentability, contradicting Corollary 1.3.

Watch

Extended reading notes

Core claim

The central discovery is that both cell-like maps and approximate fibrations can be recognized by shape-theoretic data internal to the base topos. For a geometric morphism f:X→Y, the paper defines an approximate fibration as internal corepresentability of the Y-functor F_*F^*:Ω_Y→Ω_Y, the Y-shape of f, whose sections record the shape of X pulled back over each object of Y. Theorem 1.2 proves that when X and Y are locally contractible and the hypercompletion of Y has enough points, this internal condition is equivalent to f being a shape fibration—each square sh(X/f^*U)→sh(X) over sh(Y/U)→sh(Y) is a pullback in Pro(An)—and equivalent as well to f being a shape quasi-fibration, where only the fibres over points of Y need the same pullback property. Theorem 1.1 proves that a proper geometric morphism is cell-like, meaning f_* is fully faithful, exactly when it is a hereditary shape equivalence, and under the same point assumption exactly when every fibre over a point has trivial shape; this generalizes the earlier characterization and gives a purely topos-theoretic proof of the classical hereditary-shape criterion for cell-like maps. Finally, Corollary 1.3 feeds the classical pullback characterization of approximate fibrations of locally compact ANRs back into the new definition: a proper map of locally compact ANRs is an approximate fibration in the original sense exactly when its associated geometric morphism of sheaf ∞-topoi is an approximate fibration.

Load-bearing premise

The load-bearing premise is the correctness of the unpublished internal higher-category theory used here—especially the characterization of proper geometric morphisms by preservation of internally filtered colimits and the equivalence between internal Y-topoi and the over-category Top/Y—so a flaw in those manuscripts would force repairs in the main theorems.

Editorial extensions

If this is right

  • Cell-like geometric morphisms are exactly hereditary shape equivalences; under local contractibility and enough points, they are also exactly the maps whose point-fibres have trivial shape.
  • Under the same hypotheses, approximate fibrations, shape fibrations, and shape quasi-fibrations are three equivalent descriptions of a single class of proper geometric morphisms.
  • Every proper approximate fibration of ∞-topoi has a well-defined internal corepresenting object f_♯(1_X) that is locally constant with compact values, encoding the shape of the fibres.
  • For proper maps of locally compact ANRs, the classical approximate fibrations are exactly the new topos-theoretic approximate fibrations, giving a dictionary between manifold topology and ∞-topos theory.
  • The notion is compatible with étale base change: the corepresenting object for f/U is η_∗ sh(f/U)_! 1_{X/f^*U}, so approximate fibration is inherited by restriction to slices.

Reading between the lines

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

  • If the equivalence with shape quasi-fibrations extends beyond locally contractible topoi, pointwise fibre checks would become the standard detection method for approximate fibrations, replacing explicit ε-lifting arguments in geometric topology.
  • The internal corepresentability formulation could be imported into any setting with a workable internal category theory—sites, stacks, or derived geometry—where no metric or open-cover notion of closeness exists.
  • The paper leaves the connection to fibering obstructions implicit; a natural test is whether Farrell-type K-theoretic obstructions can be recast as the failure of the Y-shape functor to be internally corepresentable.
  • One testable extension is whether Corollary 1.3 survives for paracompact spaces of finite covering dimension that are not ANRs, where the classical theory is less developed.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. This paper develops a topos-theoretic counterpart of the classical theory of approximate fibrations. It defines an approximate fibration of ∞-topoi as a proper geometric morphism f:X→Y for which the Y-functor F_*F^* is internally corepresentable, then proves that, for locally contractible X and Y with enough points in the hypercompletion of Y, this notion is equivalent to being a shape fibration and to being a shape quasi-fibration (Theorem 1.2 and Corollary 4.30). It also proves a cell-like characterization (Theorem 1.1 and Corollary 3.13): cell-like proper geometric morphisms are exactly hereditary shape equivalences and, under local contractibility and hypercompleteness hypotheses, exactly maps whose point fibers have trivial shape. Finally, Corollary 1.3 identifies the new notion with the classical Coram–Duvall approximate fibrations for proper maps of locally compact ANRs, via the shape-fibration reformulation of [HTW90]. The proofs are long reductions in internal higher category theory, relying on the Martini–Wolf framework.

Significance. The results, if correct, would be a meaningful unification: they provide an internal, categorical definition of approximate fibration that is checked externally against the classical notion, they generalize Lurie's shape-theoretic characterization of cell-like maps, and they offer a route to import higher topos theory into geometric topology. The manuscript is careful with hypotheses and does not fit parameters or rely on circular reasoning. The main source of uncertainty is external: the central equivalence arguments depend on unpublished preprints by Martini and Wolf, especially the characterization of proper geometric morphisms via preservation of internally filtered colimits. Conditional on those inputs, the paper's internal logic is coherent.

major comments (2)
  1. [§4.2 (Theorem 4.27), §3 (Theorem 3.11), Remark 4.14] The proof that proper geometric morphisms preserve internally filtered colimits and that Top(Y) is equivalent to Top/Y is imported from [MW23] and [MW25, Theorem 3.2.5.1] without stating the precise theorems or their hypotheses. These results are load-bearing for the equivalence between approximate fibrations and shape fibrations and for the cell-like Theorem 3.11; if either statement has a hidden hypothesis, Theorem 4.27 and Corollary 1.3 lose their foundation. The authors should either restate these results as explicit assumptions or appendix material, or include a stable version of the preprints with the submission, and give exact references for each use.
  2. [§4.2, proof of Theorem 4.27, (2)⇒(1)] The reduction from invertibility of (4.20) on internally compact objects to checking the global-sections transformation (4.28) is compressed. In particular, the passage from (4.29) for each U to the conclusion is justified by an unstated descent/internal-Yoneda argument, and the earlier identification in Remark 4.21 that composes η^* and η_* is only sketched. Since this is the core of the proof that every shape fibration is an approximate fibration, I ask that this reduction be expanded with the precise internal category-theoretic statements, including why section-wise invertibility at each U is sufficient for an equivalence of Y-functors.
minor comments (4)
  1. [§2.7] The sentence 'f♯ factors through a functor a functor η♯' contains a duplicated phrase; it should read 'factors through a functor η♯'.
  2. [Definition 4.11] Using the notation f♯(1_X) for the corepresenting object may be confused with the left adjoint f♯ from Definition 2.9, since an approximate fibration is not assumed to be locally contractible. A neutral notation, or an explicit warning that f♯ here is auxiliary, would improve readability.
  3. [References] The reference [MW23] is listed as 'arXiv preprint, 2023' without an arXiv identifier; because that preprint is central to the paper, the authors should provide a stable public identifier or a versioned reference.
  4. [Corollary A.6] The phrase 'copresented by lim←' should be 'corepresented by' (or 'computed as a limit'), since the relevant Y-functor is represented by a pro-object.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the new internal definition is checked against the classical Coram–Duvall notion via external [HTW90] results, and the central equivalences are genuine theorems relative to stated Martini–Wolf inputs.

full rationale

The derivation chain is not circular. The internal notion of approximate fibration is introduced in Definition 4.11 by internal corepresentability of the Y-functor F_*F^*, not by the classical Coram–Duvall definition and not by shape fibration. Theorem 4.27 then proves equivalence with shape fibration for proper locally contractible morphisms using properness as characterized by [MW23], the internal-topos equivalence of [MW25], and Yoneda's lemma for internal categories. The comparison with classical approximate fibrations is made in Theorem 4.34 and Corollary 1.3 through Theorem 4.33, which invokes the external classical characterization of [HTW90, Theorems 12.13 and 12.15]. Thus the classical notion functions as an independent benchmark rather than as an input to the new definition. The only self-citation appearing in a load-bearing position is [Vol25] in Lemma 4.8, where it supplies a compactness argument for the shape of a fiber; this is an imported method, not a definitional identification, and no equation in the paper reduces to its own input by construction. The reliance on the unpublished Martini–Wolf preprints [MW23, MW25] is a genuine external correctness risk if those results were false or missing hypotheses, but that is a prerequisite risk rather than circularity.

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

No free parameters: the paper is pure mathematics without fitted constants or data. The axioms are the background frameworks of ∞-topos theory, internal higher category theory by Martini-Wolf, and classical shape theory. No invented empirical entities are introduced; the new notion of approximate fibration is a definition, not a postulated object. The heaviest unstated burden is the correctness of the unpublished Martini-Wolf preprints [MW23, MW25].

assumptions (5)
  • standard math Giraud axioms and foundational theory of ∞-topoi, including hypercompletions and points [Lur09, Lur17]
    The whole paper is formulated in this framework; Section 2.1 and 2.2 recall definitions and quote standard results.
  • domain assumption Martini-Wolf internal higher category theory, including internal Yoneda lemma [Mar21] and equivalence Top(Y) ≃ Top/Y [MW25, Theorem 3.2.5.1]
    Definition 4.11 and the proof of Theorem 4.27 rely on internal categories and the slice-topos equivalence; these are cited from preprints not included in this paper.
  • domain assumption Characterization of proper geometric morphisms as preserving internally filtered colimits [MW23]
    Used in Theorem 3.11 and Theorem 4.27 to reduce transformations of Y-functors to internally compact objects; correctness of this characterization is load-bearing.
  • standard math Lurie's characterization of locally constant objects and hypercompleteness, including Lemma 2.14 [Lur17, Corollary A.1.17]
    Used to reduce to checking point fibers in Theorem 3.11 and Theorem 4.10; accepted as background.
  • domain assumption Hughes-Taylor-Williams classical characterization of approximate fibrations via weak homotopy pullbacks [HTW90, Theorems 12.13, 12.15]
    Theorem 4.33 imports this external theorem to compare the new concept with Coram-Duvall; it is not reproved.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Approximate Fibrations in Higher Topos Theory." pith.science (2026). https://pith.science/paper/HBVLNZ3J

@misc{pith2026251024629,
  author       = {Pith},
  title        = {Pith review of: Approximate Fibrations in Higher Topos Theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HBVLNZ3J}},
  note         = {Machine review of arXiv:2510.24629}
}
abstract

The goal of this paper is to put the theory of approximate fibrations into the framework of higher topos theory. We define the notion of an approximate fibration for a general geometric morphism of $\infty$-topoi, give several characterizations in terms of shape theory and compare it to the original definition for maps of topological spaces of Coram and Duvall. Furthermore, we revisit the notion of cell-like maps between topoi, and generalize Lurie's shape-theoretic characterization by giving a purely topos-theoretical proof.

Review history (2 revisions) →

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. Homology manifolds via six functor formalisms

    math.AT 2026-06 unverdicted novelty 7.0 of 10

    Using six functor formalisms, the authors prove that hypercomplete locally compact ANR homology manifolds are cohomologically smooth, that compact ANR homology manifolds are Poincaré duality complexes with Spivak tang...

Reference graph

Works this paper leans on

28 extracted references · 21 canonical work pages · cited by 1 Pith paper

  1. [1]

    The disc embedding theorem

    Stefan Behrens, Boldizs\'ar Kalm\'ar, Min Hoon Kim, Mark Powell, and Arunima Ray, editors. The disc embedding theorem . Oxford University Press, Oxford, 2021

    work page 2021

  2. [2]

    A proof of the generalized S choenflies theorem

    Morton Brown. A proof of the generalized S choenflies theorem. Bulletin of the American Mathematical Society , 66(2):74--76, 1960

    work page 1960

  3. [3]

    Shrinking cell-like decompositions of manifolds

    James W Cannon. Shrinking cell-like decompositions of manifolds. C odimension three. Annals of Mathematics , pages 83--112, 1979

    work page 1979

  4. [4]

    T. A. Chapman. Topological invariance of W hitehead torsion. American Journal of Mathematics , 96(3):488--497, 1974

    work page 1974

  5. [5]

    T. A. Chapman. Approximation results in topological manifolds. Mem. Amer. Math. Soc. , 34(251):iii+64, 1981

    work page 1981

  6. [6]

    Higher categories and homotopical algebra , volume 180

    Denis-Charles Cisinski. Higher categories and homotopical algebra , volume 180. Cambridge University Press, 2019

    2019

  7. [7]

    D. S. Coram and Jr P. F. Duvall. Approximate fibrations. Rocky Mountain Journal of Mathematics , 1977

    work page 1977

  8. [8]

    Robert D. Edwards. The topology of manifolds and cell-like maps. In Proceedings of the I nternational C ongress of M athematicians ( H elsinki, 1978) , pages 111--127. Acad. Sci. Fennica, Helsinki, 1980

    work page 1978

Show all 28 references
  1. [9]

    F. T. Farrell. The obstruction to fibering a manifold over a circle. Indiana Univ. Math. J. , 21:315--346, 1971/72

    1971

  2. [10]

    Approximately fibering a manifold over an aspherical one

    Tom Farrell, Wolfgang L\"uck, and Wolfgang Steimle. Approximately fibering a manifold over an aspherical one. Math. Ann. , 370(1-2):669--726, 2018

    2018

  3. [11]

    The topology of four-dimensional manifolds

    Michael Hartley Freedman. The topology of four-dimensional manifolds. J. Differential Geometry , 17(3):357--453, 1982

    1982

  4. [12]

    Some theorems on absolute neighborhood retracts

    Olof Hanner. Some theorems on absolute neighborhood retracts. Ark. Mat. , 1:389--408, 1951

    1951

  5. [13]

    Higher galois theory

    Marc Hoyois. Higher galois theory. Journal of Pure and Applied Algebra , 222(7):1859--1877, 2018

    2018

  6. [14]

    C. B. Hughes, L. R. Taylor, and E. B. Williams. Bundle theories for topological manifolds. Transactions of the American Mathematical Society , 319(1):1--65, 1990

    1990

  7. [15]

    Taylor, Shmuel Weinberger, and Bruce Williams

    Bruce Hughes, Laurence R. Taylor, Shmuel Weinberger, and Bruce Williams. Neighborhoods in stratified spaces with two strata. Topology , 39(5):873--919, 2000

    2000

  8. [16]

    Cell-like mappings

    R Chris Lacher. Cell-like mappings. I . Pacific Journal of Mathematics , 30(3):717--731, 1969

    1969

  9. [17]

    Higher topos theory

    Jacob Lurie. Higher topos theory . Princeton University Press, 2009. https://www.math.ias.edu/ lurie/papers/HTT.pdf

    2009

  10. [18]

    Higher algebra

    Jacob Lurie. Higher algebra . preprint, 2017. https://www.math.ias.edu/ lurie/papers/HA.pdf

    2017

  11. [19]

    Yoneda's lemma for internal higher categories

    Louis Martini. Yoneda's lemma for internal higher categories. arXiv preprint arXiv:2103.17141 , 2021

    2021 arXiv

  12. [20]

    On spaces having the homotopy type of a CW -complex

    John Milnor. On spaces having the homotopy type of a CW -complex. Trans. Amer. Math. Soc. , 90:272--280, 1959

    1959

  13. [21]

    Colimits and cocompletions in internal higher category theory

    Louis Martini and Sebastian Wolf. Colimits and cocompletions in internal higher category theory. arXiv preprint arXiv:2111.14495 , 2021

    2021 arXiv

  14. [22]

    Proper morphisms of -topoi

    Louis Martini and Sebastian Wolf. Proper morphisms of -topoi. arXiv preprint , 2023

    2023

  15. [23]

    Presentability and topoi in internal higher category theory

    Louis Martini and Sebastian Wolf. Presentability and topoi in internal higher category theory. arXiv preprint arXiv:2209.05103 , 2025

    2025 arXiv

  16. [24]

    Algebraic K -theory in G eometric T opology, 2023

    Thomas Nikolaus. Algebraic K -theory in G eometric T opology, 2023. Recording of a talk available at: https://www.youtube.com/watch?v=ad_Q8BQ-uAU&t=748s

    2023

  17. [25]

    L. C. Siebenmann. Approximating cellular maps by homeomorphisms. Topology , 11:271--294, 1972

    1972

  18. [26]

    The six operations in topology

    Marco Volpe. The six operations in topology. arXiv preprint arXiv:2110.10212 , 2021

    2021

  19. [27]

    Verdier duality on conically smooth stratified spaces

    Marco Volpe. Verdier duality on conically smooth stratified spaces. Algebraic & Geometric Topology , 25(2):919--950, 2025

    2025

  20. [28]

    Mapping H ilbert cube manifolds to ANR 's: a solution of a conjecture of B orsuk

    James E West. Mapping H ilbert cube manifolds to ANR 's: a solution of a conjecture of B orsuk. Annals of Mathematics , 106(1):1--18, 1977

    1977

Pith tools

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