Pith. sign in

REVIEW 2 major objections 3 minor 66 references

Stratified Homotopy Theory

T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read Filtered homotopy groups classify stratified homotopy types.

desk verdict A careful, systematic model-categorical framework for stratified spaces; the load-bearing fibration characterization in Appendices A/B deserves independent audit. read the letter →

arxiv 1908.01366 v1 pith:AQ7GXIF3 submitted 2019-08-04 math.AT

Sylvain Douteau This is my paper · ORCID
classification math.AT MSC 55U3518G5555P1555N33
keywords stratifiedspacesfilteredsimplicialsetsmodelcategorieshomotopygroupsWhiteheadtheoremconicallyhomotopicallyQuillenadjunction
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 thesis tries to build a homotopy theory for stratified spaces that respects the stratification itself, not just the underlying topological space. The paper's route is to fix a poset $P$ of strata and study filtered simplicial sets, objects $X\to N(P)$, with a model category whose weak equivalences are detected by newly defined filtered homotopy groups. The central payoff is a filtered Whitehead theorem: for conically stratified or metrically homotopically stratified spaces admitting filtered simplicial replacements, a stratified map is a filtered homotopy equivalence exactly when it induces isomorphisms on all filtered homotopy groups, equivalently weak equivalences on all strata and homotopy links. A sympathetic reader would care because intersection cohomology and other stratified invariants are only invariant under stratified homotopies, so a homotopy category adapted to those homotopies is the natural setting for classifying stratified spaces.

What carries the argument

The central object is the category $sSet_P$, whose objects are simplicial sets $X$ equipped with a filtration $\varphi_X\colon X\to N(P)$, the nerve of a fixed poset of strata. The mechanism that carries the argument is the filtered subdivision–extension pair $\mathrm{sd}_P\dashv\mathrm{Ex}_P$, iterated to $\mathrm{Ex}^\infty_P$, which provides the fibrant replacement $X\to\mathrm{Ex}^\infty_P(X)$ and yields the "à la Kan" description of fibrations. The key combinatorial notion is the admissible horn: an inclusion $\Lambda^\varphi_k\to\Delta^\varphi$ of a horn into a filtered simplex is admissible when the filtration repeats an adjacent value at $k$, which is exactly the condition under which filling the horn does not change the filtered homotopy type. Admissible horns generate the anodyne extensions, and the filtered homotopy groups, defined from filtered spheres, are shown to detect precisely the weak equivalences between fibrant objects.

What would settle it

The central claim would be falsified by exhibiting a filtered simplicial set $X$ for which $\mathrm{Ex}^\infty_P(X)$ fails to have the right lifting property against an admissible horn, since Theorem 3.3.25 asserts this is always a fibration; alternatively, a map between fibrant filtered simplicial sets that induces isomorphisms on all filtered homotopy groups but is not a filtered homotopy equivalence would falsify the filtered Whitehead theorem.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is that the homotopy theory of filtered and stratified spaces admits the same shape as classical homotopy theory, with filtered homotopy groups playing the role of homotopy groups. Theorem 1 (synthesizing Theorems 3.2.15, 3.3.25, and 4.3.12) states that the category $sSet_P$ of filtered simplicial sets over a poset $P$ is a simplicial, cofibrantly generated, proper model category: cofibrations are monomorphisms, fibrations are maps with the right lifting property against admissible horns, and a map between fibrant objects is a weak equivalence precisely when it induces isomorphisms on all filtered homotopy groups. Theorems 5.3.7 and 5.3.11 then derive the filtered Whitehead theorem for filtered spaces: for conically stratified or metrically homotopically stratified spaces that admit filtered simplicial replacements, a filtered map is a filtered homotopy equivalence if and only if it induces isomorphisms on filtered homotopy groups, which is also equivalent to inducing weak equivalences on all strata and homotopy links. The paper further constructs a model category of filtered spaces, Quillen equivalent to a diagram category, and a Quillen adjunction between filtered simplicial sets and filtered spaces, reducing to the classical Kan–Quillen adjunction when $P$ is a point.

Load-bearing premise

The whole classification rests on the claim that the concrete replacement built from filtered subdivision can in fact be used to tell fibrations from non-fibrations; if that replacement failed to be fibrant or to stay weakly equivalent, the filtered homotopy groups would stop being a reliable test for weak equivalence.

Editorial extensions

If this is right

  • For conically stratified and metrically homotopically stratified spaces, filtered homotopy groups are complete stratified homotopy invariants: two such spaces with the same strata have the same filtered homotopy type exactly when all filtered homotopy groups agree.
  • Since intersection cohomology is invariant under stratified homotopies, the new model categories provide a homotopy-theoretic setting in which intersection cohomology and related perverse invariants can be studied as representable or homotopy-invariant functors.
  • The Kan-style characterization of fibrations makes the model structure on $sSet_P$ usable for computation: to test whether a map is a fibration one only checks lifting against admissible horns, and filtered homotopy groups can be computed from fibrant replacements.
  • The filtered Kan–Quillen adjunction $(\|\mathrm{sd}_P(-)\|_P,\mathrm{Ex}_P\mathrm{Sing}_P)$ between filtered simplicial sets and filtered spaces preserves weak equivalences, so the two model categories present related homotopy theories and differ only at the level of the conjectured Quillen equivalence.
  • When $P$ is a singleton, all of these constructions collapse to the classical model structure on simplicial sets and the classical Kan–Quillen adjunction, so the filtered theory is a genuine extension rather than a parallel theory.

Reading between the lines

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

  • If Conjecture 1 (Quillen equivalence between filtered spaces and filtered simplicial sets) holds, then filtered homotopy groups would give a complete and computable classification of filtered homotopy types for the same range of spaces where classical homotopy groups classify CW complexes, and the homotopy categories would be interchangeable in practice.
  • The filtered homotopy groups appear to encode not only the homotopy groups of individual strata but also the way paths can approach lower strata, so they may be the stratified analogue of a Postnikov tower or of the exit-path category; a testable consequence is that they should determine the homotopy type of the exit-path $\infty$-category for conically stratified spaces.
  • The admissible-horn condition suggests an algorithmic recognition procedure: a finite filtered simplicial set is fibrant if every missing face whose horn is admissible can be filled; implementing this check would give a computable way to search for filtered weak equivalences in finite examples.
  • The paper's example of knots suggests that filtered homotopy groups can serve as complete invariants for embedded submanifolds with their natural filtrations; one could test whether the same groups distinguish links up to stratified homotopy, or whether they refine classical link concordance invariants.
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 / 3 minor

Summary. The manuscript develops a model-categorical homotopy theory for stratified and filtered spaces. For a fixed poset P it constructs a model structure on the category sSetP of filtered simplicial sets, proves a Kan-style description of its fibrations via admissible horns, and introduces filtered homotopy groups that characterize weak equivalences between fibrant objects. It then transfers these results to filtered topological spaces, establishes filtered Whitehead theorems for conically stratified and metrically homotopically stratified spaces, and uses Quillen bifibrations to build model structures on the global categories of stratified simplicial sets and stratified spaces. The central claims are Theorems 3.2.15, 3.3.25, 4.3.12, 5.3.7, 5.3.11, and the Quillen-adjunction comparison statements in Chapter 8.

Significance. If the central theorems hold, this is a substantial contribution: it provides a uniform homotopy theory for stratified spaces, new algebraic invariants (filtered homotopy groups) that detect filtered homotopy type, and a Whitehead theorem in the stratified setting. The paper makes good use of standard machinery (Cisinski's existence theorem, Quillen bifibrations, the Kan–Quillen adjunction) and states its main results with precise hypotheses. The treatment of examples, including filtered Eilenberg–Mac Lane spaces and knots, gives the theory concrete content. The paper also ships a clearly separated technical core: the delicate comparison of the abstract model structure with the explicit admissible-horn description is isolated in Appendices A and B. The author is transparent about which statements are conjectural, which is a strength. My reservations are about verifiability of the deferred arguments, not about the overall architecture.

major comments (2)
  1. [Theorem 3.3.25 and Appendices A–B] The identification of the fibrations of the Cisinski model structure with maps having the right lifting property against admissible horns, together with the assertion that X → Ex∞_P(X) is anodyne, is the load-bearing step of the whole paper. Remark 3.2.16 explicitly notes that Cisinski's theorem alone does not give this equality, so the deferred proof is essential. In the version of the manuscript made available to me, Appendices A and B are listed in the table of contents but their proofs are not reproduced, so this central verification cannot be checked. I request that the full proofs be included, or that a precise pointer to a publicly available complete version be given, and that the exact hypotheses on P used in the cell-decomposition arguments be stated in Theorem 3.3.25 itself.
  2. [§3.3.2 and Appendix B; statement for arbitrary P] Theorem 3.3.25 and the surrounding results are stated for an arbitrary poset P, while the proof strategy for the subdivision sd_P of admissible horns uses last-vertex choices, ancestral orders, and filtered anodyne presentations. The concrete examples in Chapter 6 use finite flag posets, and the introduction does not state whether a finiteness or well-foundedness hypothesis on P is needed. If the argument requires P to be finite or well-founded, the statements must be restricted accordingly; otherwise an explicit verification for arbitrary P, including infinite chains, should be supplied. This is not merely a presentational point, because the functor Ex∞_P and the fibrant-replacement claim are stated in full generality.
minor comments (3)
  1. [Example 1.1.15] In the case analysis for the space X, the phrase “Si (x,y) ∈ X2\X1” appears twice; the second occurrence should presumably read “Si (x,y) ∈ X1\X0”, since the following cases treat points on the one-dimensional strata.
  2. [Introduction, Theorem 2] Theorem 2 in the introduction states an equivalence between being a filtered homotopy equivalence and inducing weak equivalences on strata and homotopy links, but the relevant notion of weak equivalence on strata and homotopy links is not recalled at that point; a cross-reference to the precise definitions in Chapter 5 would help the reader.
  3. [Chapter 8, sSetTop_P] The guide to the reader and the text of §2.2.4 mention that cofibrant generation of sSetTop_P is an open question, while Chapter 8 later transports a model structure onto sSetTop_P; the status of the transported structure with respect to cofibrant generation should be stated explicitly at the point of transport.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: filtered homotopy groups are introduced after the model structure and are shown, not assumed, to detect weak equivalences.

full rationale

The derivation chain does not reduce to its own inputs. In Definition 3.2.14 the weak equivalences of sSet_P are defined independently of the filtered homotopy groups: “Un morphisme est une équivalence faible si pour tout ensemble simplicial filtré fibrant, (Z,ϕZ), l’application entre ensembles de classes d’homotopies f∗: [(Y,ϕY),(Z,ϕZ)]→[(X,ϕX),(Z,ϕZ)] est une bijection.” The filtered homotopy groups are introduced later, in Chapter 4, as invariants made possible by the simplicial structure, and the text explicitly says: “On montre que ces invariants caractérisent les équivalences faibles entre objets fibrants.” The statement that weak equivalences between fibrant objects coincide with isomorphisms on filtered homotopy groups is therefore Theorem 4.3.12, synthesized as Theorem 1, not a definition of the weak equivalences. The admissible-horn description is likewise derived: admissible horns are characterized in Proposition 3.2.2 by an independent filtered-homotopy-equivalence condition, and the Kan-style description of the model structure is stated as Theorem 3.3.25 with proofs deferred to Appendices A and B. The external results cited (Cisinski, Lurie A.6.4, Nand-Lal) are black-box theorems with stated hypotheses and provide independent support rather than self-citation. The skeptical concern that the appendix proof of Theorem 3.3.25 needs independent audit is a correctness and verification risk, not a circularity: the paper does not assume the conclusion it purports to prove.

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

No data-fitting parameters or invented physical entities appear. The central claims rest on standard model-category machinery and on external fibrantness results from Lurie and Nand-Lal. The filtered homotopy groups are constructed invariants rather than postulated entities. The unresolved filtered Kan-Quillen equivalence is explicitly an open conjecture, not an assumed axiom.

assumptions (5)
  • standard math Cisinski's recognition theorem [Cis06, Theoreme 1.3.22] provides a model structure on the presheaf category sSetP.
    Invoked in Theoreme 3.2.15 as the source of the model structure; the paper does not reprove Cisinski's theorem.
  • standard math Standard Quillen model category formalism, including the small object argument, cofibrantly generated model categories, and simplicial model categories.
    Used throughout Chapters 2, 3, 7 and 9 to construct and compare model structures.
  • standard math Classical Kan-Quillen adjunction and Milnor's theorem that the unit and counit are weak equivalences.
    The background comparison in Chapter 2 serves as the template for the filtered adjunctions in Chapters 5 and 8.
  • domain assumption Lurie's Theorem A.6.4 gives fibrantness of SingP(X) for conically stratified spaces, and Nand-Lal's thesis gives the analogous result for metrically homotopically stratified spaces.
    These external results are needed for the filtered Whitehead theorems 5.3.7 and 5.3.11.
  • domain assumption A stratified homotopy equivalence induces an isomorphism of strata posets, so it suffices to study filtered objects over a fixed poset P.
    Justifies the reduction to TopP and sSetP in Remarks 1.3.9 and 1.3.10; if a weaker notion of stratified homotopy were used, the framework would need modification.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Stratified Homotopy Theory." pith.science (2026). https://pith.science/paper/AQ7GXIF3

@misc{pith2026190801366,
  author       = {Pith},
  title        = {Pith review of: Stratified Homotopy Theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AQ7GXIF3}},
  note         = {Machine review of arXiv:1908.01366}
}
abstract

A stratified space is a topological space together with a decomposition into strata corresponding to different types of singularities. Examples of such spaces appear everywhere in topology and geometry. The study of stratified spaces involves invariants such as intersection cohomology which are only invariants under stratification-preserving homotopies. In this thesis, we study the homotopy theory of stratified spaces with respect to those stratified homotopies. To do so, we construct model categories for stratified spaces and we introduce new invariants to characterize them, the filtered homotopy groups. A stratified space can be seen as a topological space $X$ together with a continuous map to a poset of strata $X\to P$. We begin our study by restricting ourselves to the filtered case, where the poset of strata is fixed. We define the model category of filtered simplicial sets, show that it admits a description "\`a la Kan", and characterize its weak-equivalences using the filtered homotopy groups. We deduce a proof of a filtered version of Whitehead theorem. We then construct a model category of filtered spaces. Its weak-equivalences are the morphisms that induce isomorphisms on all filtered homotopy groups, and its fibrations satisfy a filtered version of Serre's lifting conditions. We show that it is Quillen-equivalent to a category of diagrams of simplicial sets. We then work toward a comparison between the model categories of filtered simplicial sets and of filtered spaces. They are connected by a Quillen-adjunction, similar to the classical Kan-Quillen adjunction. We conjecture that it is in fact a Quillen equivalence. Lastly, working with the notion of Quillen bifibration, we show that there are model categories of stratified spaces and of stratified simplicial sets. We show that the two are related by an adjunction that preserve weak equivalences.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

66 extracted references · 53 canonical work pages

  1. [1]

    A stratified homotopy hypothesis

    David Ayala , John Francis , and Nick Rozenblyum . A stratified homotopy hypothesis . arXiv e-prints , page arXiv:1502.01713, Feb 2015

    work page Pith review arXiv 2015

  2. [2]

    auser Classics. Birkh\

    A. Borel et al. Intersection cohomology . Modern Birkh\"auser Classics. Birkh\"auser Boston, Inc., Boston, MA, 2008. Notes on the seminar held at the University of Bern, Bern, 1983, Reprint of the 1984 edition

    work page 2008

  3. [3]

    Rational generalized intersection homology theories

    Markus Banagl. Rational generalized intersection homology theories. Homology Homotopy Appl. , 12(1):157--185, 2010

    work page 2010

  4. [4]

    Exodromy

    Clark Barwick , Saul Glasman , and Peter Haine . Exodromy . arXiv e-prints , page arXiv:1807.03281, Jul 2018

    arXiv 2018

  5. [5]

    Markus Banagl, Gerd Laures, and James E. McClure. The L -homology fundamental class for IP -spaces and the stratified N ovikov conjecture. Selecta Math. (N.S.) , 25(1):Art. 7, 104, 2019

    work page 2019

  6. [6]

    La stratification naturelle des espaces de fonctions diff\' e rentiables r\' e elles et le th\' e or\`eme de la pseudo-isotopie

    Jean Cerf. La stratification naturelle des espaces de fonctions diff\' e rentiables r\' e elles et le th\' e or\`eme de la pseudo-isotopie. Inst. Hautes \' E tudes Sci. Publ. Math. , (39):5--173, 1970

    work page 1970

  7. [7]

    Higher Categories and homotopical algebra

    Denis-Charles Cisinski. Higher Categories and homotopical algebra

    work page

  8. [8]

    Les pr\'efaisceaux comme mod\`eles des types d'homotopie

    Denis-Charles Cisinski. Les pr\'efaisceaux comme mod\`eles des types d'homotopie. Ast\'erisque , (308):xxiv+390, 2006

    2006

Show all 66 references
  1. [9]

    On bifibrations of model categories

    Pierre Cagne and Paul-Andr \'e Melli \`e s . On bifibrations of model categories . arXiv e-prints , page arXiv:1709.10484, Sep 2017

    2017 arXiv

  2. [10]

    Intersection cohomology, simplicial blow-up and rational homotopy

    David Chataur, Martintxo Saralegi-Aranguren, and Daniel Tanr\' e . Intersection cohomology, simplicial blow-up and rational homotopy. Mem. Amer. Math. Soc. , 254(1214):viii+108, 2018

    2018

  3. [11]

    Poincar\' e duality with cap products in intersection homology

    David Chataur, Martintxo Saralegi-Aranguren, and Daniel Tanr\' e . Poincar\' e duality with cap products in intersection homology. Adv. Math. , 326:314--351, 2018

    2018

  4. [12]

    Intersection Homology

    David Chataur , Martintxo Saralegi-Aranguren , and Daniel Tanr \'e . Intersection Homology. General perversities and topological invariance . arXiv e-prints , page arXiv:1602.03009, Feb 2016

    2016 arXiv

  5. [13]

    K -duality for stratified pseudomanifolds

    Claire Debord and Jean-Marie Lescure. K -duality for stratified pseudomanifolds. Geom. Topol. , 13(1):49--86, 2009

    2009

  6. [14]

    W. G. Dwyer and J. Spali\' n ski. Homotopy theories and model categories. In Handbook of algebraic topology , pages 73--126. North-Holland, Amsterdam, 1995

    1995

  7. [15]

    Notes on delta generated spaces

    Daniel Dugger. Notes on delta generated spaces. 2003

    2003

  8. [16]

    3264 and All That: A Second Course in Algebraic Geometry

    David Eisenbud and Joe Harris. 3264 and All That: A Second Course in Algebraic Geometry . Cambridge University Press, 2016

    2016

  9. [17]

    Greg Friedman and James E. McClure. Cup and cap products in intersection (co)homology. Adv. Math. , 240:383--426, 2013

    2013

  10. [18]

    Piccinini

    Rudolf Fritsch and Renzo A. Piccinini. Cellular structures in topology , volume 19 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1990

    1990

  11. [19]

    Fajstrup and J

    L. Fajstrup and J. Rosick\' y . A convenient category for directed homotopy. Theory Appl. Categ. , 21:No. 1, 7--20, 2008

    2008

  12. [20]

    Singular Intersection Homology

    Greg Friedman. Singular Intersection Homology . http://faculty.tcu.edu/gfriedman/IHbook.pdf

  13. [21]

    Survey article: A n elementary illustrated introduction to simplicial sets

    Greg Friedman. Survey article: A n elementary illustrated introduction to simplicial sets. Rocky Mountain J. Math. , 42(2):353--423, 2012

    2012

  14. [22]

    auser Classics. Birkh\

    Paul G. Goerss and John F. Jardine. Simplicial homotopy theory . Modern Birkh\"auser Classics. Birkh\"auser Verlag, Basel, 2009. Reprint of the 1999 edition [MR1711612]

    2009

  15. [23]

    C. McA. Gordon and J. Luecke. Knots are determined by their complements. J. Amer. Math. Soc. , 2(2):371--415, 1989

    1989

  16. [24]

    Intersection homology theory

    Mark Goresky and Robert MacPherson. Intersection homology theory. Topology , 19(2):135--162, 1980

    1980

  17. [25]

    Introduction to the papers of R

    Mark Goresky. Introduction to the papers of R . T hom and J . M ather [mr0239613; mr2958928]. Bull. Amer. Math. Soc. (N.S.) , 49(4):469--474, 2012

    2012

  18. [26]

    Peter J. Haine . A model for the -category of stratified spaces . arXiv e-prints , page arXiv:1811.01119, Nov 2018

    2018 arXiv

  19. [27]

    Hirschhorn

    Philip S. Hirschhorn. Model categories and their localizations , volume 99 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2003

    2003

  20. [28]

    A necessary and sufficient condition for induced model structures

    Kathryn Hess, Magdalena Kedziorek, Emily Riehl, and Brooke Shipley. A necessary and sufficient condition for induced model structures. Journal of Topology , 10(2):324--369, 2017

    2017

  21. [29]

    Model categories , volume 63 of Mathematical Surveys and Monographs

    Mark Hovey. Model categories , volume 63 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 1999

    1999

  22. [30]

    J. F. Jardine. Representability theorems for presheaves of spectra. J. Pure Appl. Algebra , 215(1):77--88, 2011

    2011

  23. [31]

    The Theory of Quasi-categories and its Applications

    André Joyal. The Theory of Quasi-categories and its Applications . http://mat.uab.cat/ kock/crm/hocat/advanced-course/Quadern45-2.pdf

  24. [32]

    Daniel M. Kan. A combinatorial definition of homotopy groups. Ann. of Math. (2) , 67:282--312, 1958

    1958

  25. [33]

    Henry C. King. Topological invariance of intersection homology without sheaves. Topology and its Applications , 20(2):149 -- 160, 1985

    1985

  26. [34]

    Quelques notions d'espaces stratifi\' e s

    Beno\^ t Kloeckner. Quelques notions d'espaces stratifi\' e s. In Actes du S \' e minaire de T h\' e orie S pectrale et G \' e om\' e trie. V ol. 26. A nn\' e e 2007--2008 , volume 26 of S\' e min. Th\' e or. Spectr. G\' e om. , pages 13--28. Univ. Grenoble I, Saint-Martin-d'H...

    2007

  27. [35]

    Differential algebraic topology , volume 110 of Graduate Studies in Mathematics

    Matthias Kreck. Differential algebraic topology , volume 110 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2010. From stratifolds to exotic spheres

    2010

  28. [36]

    A zoo of geometric homology theories

    Matthias Kreck. A zoo of geometric homology theories. J. Singul. , 18:300--306, 2018

    2018

  29. [37]

    An introduction to intersection homology theory

    Frances Kirwan and Jonathan Woolf. An introduction to intersection homology theory . Chapman & Hall/CRC, Boca Raton, FL, second edition, 2006

    2006

  30. [38]

    Intersections and transformations of complexes and manifolds

    Solomon Lefschetz. Intersections and transformations of complexes and manifolds. Trans. Amer. Math. Soc. , 28(1):1--49, 1926

    1926

  31. [39]

    Singularities of differentiable mappings, notes of lectures by r

    H Levine. Singularities of differentiable mappings, notes of lectures by r. thom. 192:1--89, 1971

    1971

  32. [40]

    Higher Algebra

    Jacob Lurie. Higher Algebra . http://www.math.harvard.edu/ lurie/papers/HA.pdf

  33. [41]

    Notes on topological stability

    John Mather. Notes on topological stability. Bull. Amer. Math. Soc. (N.S.) , 49(4):475--506, 2012

    2012

  34. [42]

    The geometric realization of a semi-simplicial complex

    John Milnor. The geometric realization of a semi-simplicial complex. Ann. of Math. (2) , 65:357--362, 1957

    1957

  35. [43]

    David A. Miller. Strongly stratified homotopy theory. Trans. Amer. Math. Soc. , 365(9):4933--4962, 2013

    2013

  36. [44]

    S. Moss . Another approach to the Kan-Quillen model structure . ArXiv e-prints , June 2015

    2015

  37. [45]

    Milnor and James D

    John W. Milnor and James D. Stasheff. Characteristic classes . Princeton University Press, Princeton, N. J.; University of Tokyo Press, Tokyo, 1974. Annals of Mathematics Studies, No. 76

    1974

  38. [46]

    Morgan and Dennis P

    John W. Morgan and Dennis P. Sullivan. The transversality characteristic class and linking cycles in surgery theory. Ann. of Math. (2) , 99:463--544, 1974

    1974

  39. [47]

    An invitation to M orse theory

    Liviu Nicolaescu. An invitation to M orse theory . Universitext. Springer, New York, second edition, 2011

    2011

  40. [48]

    A simplicial appraoch to stratified homotopy theory

    Stephen Nand-Lal. A simplicial appraoch to stratified homotopy theory . PhD thesis, University of Liverpool, 2019

    2019

  41. [49]

    C. D. Papakyriakopoulos. On dehn's lemma and the asphericity of knots. Proceedings of the National Academy of Sciences of the United States of America , 43(1):169--172, 1957

    1957

  42. [50]

    Analysis situs

    Henri Poincaré. Analysis situs. Journal de l'école Polytechnique , pages 1--123, 1895

  43. [51]

    Daniel G. Quillen. Homotopical algebra . Lecture Notes in Mathematics, No. 43. Springer-Verlag, Berlin-New York, 1967

    1967

  44. [52]

    Homotopically stratified sets

    Frank Quinn. Homotopically stratified sets. Journal of the American Mathematical Society , 1(2):441--499, 1988

    1988

  45. [53]

    Introduction to piecewise-linear topology

    Colin Patrick Rourke and Brian Joseph Sanderson. Introduction to piecewise-linear topology . Springer Study Edition. Springer-Verlag, Berlin-New York, 1982. Reprint

    1982

  46. [54]

    P. H. Siegel. Witt spaces: a geometric cycle theory for K O -homology at odd primes. Amer. J. Math. , 105(5):1067--1105, 1983

    1983

  47. [55]

    David A. Stone. Stratified polyhedra . Lecture Notes in Mathematics, Vol. 252. Springer-Verlag, Berlin-New York, 1972

    1972

  48. [56]

    Abstract prestratified sets are (b) -regular

    Michael Teufel. Abstract prestratified sets are (b) -regular. J. Differential Geom. , 16(3):529--536 (1982), 1981

    1982

  49. [57]

    Quelques propri\' e t\' e s globales des vari\' e t\' e s diff\' e rentiables

    Ren\' e Thom. Quelques propri\' e t\' e s globales des vari\' e t\' e s diff\' e rentiables. Comment. Math. Helv. , 28:17--86, 1954

    1954

  50. [58]

    R. Thom. Ensembles et morphismes stratifi\' e s. Bull. Amer. Math. Soc. , 75:240--284, 1969

    1969

  51. [59]

    Exit paths and constructible stacks

    David Treumann. Exit paths and constructible stacks. Compos. Math. , 145(6):1504--1532, 2009

    2009

  52. [60]

    Stellar Stratifications on Classifying Spaces

    Dai Tamaki and Hiro Lee Tanaka . Stellar Stratifications on Classifying Spaces . arXiv e-prints , page arXiv:1804.11274, Apr 2018

    2018 arXiv

  53. [61]

    On irreducible 3 -manifolds which are sufficiently large

    Friedhelm Waldhausen. On irreducible 3 -manifolds which are sufficiently large. Ann. of Math. (2) , 87:56--88, 1968

    1968

  54. [62]

    J. H. C. Whitehead. Combinatorial homotopy. I . Bull. Amer. Math. Soc. , 55:213--245, 1949

    1949

  55. [63]

    On singularities of mappings of euclidean spaces

    Hassler Whitney. On singularities of mappings of euclidean spaces. I . M appings of the plane into the plane. Ann. of Math. (2) , 62:374--410, 1955

    1955

  56. [64]

    Tangents to an analytic variety

    Hassler Whitney. Tangents to an analytic variety. Ann. of Math. (2) , 81:496--549, 1965

    1965

  57. [65]

    Spaces of PL Manifolds and Categories of Simple Maps (AM-186)

    Friedhelm Waldhausen, Bjørn Jahren, and John Rognes. Spaces of PL Manifolds and Categories of Simple Maps (AM-186) . Princeton University Press, 2013

    2013

  58. [66]

    The fundamental category of a stratified space

    Jon Woolf. The fundamental category of a stratified space. J. Homotopy Relat. Struct. , 4(1):359--387, 2009

    2009

Pith tools

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