Simplicial sets in topology, category theory, and beyond

Julia E. Bergner

REVIEW 1 major objections 5 minor 18 references

Simplicial sets in topology, category theory, and beyond

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

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

Pith's one-line read The paper's central assertion is that simplicial sets form a combinatorial model for topological spaces, with geometric realization and the singular simplicial set construction forming an equivalence of homotopy theories, and that the…

desk verdict A genuinely gentle intro that trips on a false characterization of groupoid nerves; fix Proposition 7.6 before recommending it to students. read the letter →

arxiv 2411.18561 v1 pith:SSTOA23L submitted 2024-11-27 math.AT math.CT

Julia E. Bergner This is my paper · ORCID

classification math.ATmath.CT MSC 55U1018N5018N60

keywords simplicialsetscomplexesgeometricrealizationsingularsetKanquasi-categoriesnerveofacategoryhomotopytheory

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

Simplicial sets began as a way to describe topological spaces purely combinatorially, and this paper makes the case that they still serve that purpose while also encoding category-theoretic data. The paper works from simplicial complexes through oriented simplicial complexes to the definition of a simplicial set as a functor $\Delta^{op}\to\mathbf{Set}$, showing that geometric realization and the singular simplicial set construction are an equivalence of homotopy theories. The same formalism carries categories: the nerve embeds small categories into simplicial sets, and horn-filling conditions distinguish Kan complexes (which behave like spaces) from quasi-categories (which behave like higher categories). A reader who follows the route should be prepared to approach modern literature on $(\infty,1)$-categories.

What carries the argument

The load-bearing object is the simplicial set, defined equivalently as a sequence of sets $X_n$ with face maps $d_i$ and degeneracy maps $s_i$ satisfying the simplicial identities, or as a functor $\Delta^{op}\to\mathbf{Set}$. Geometric realization turns this data into a topological space by gluing standard simplices, and the singular functor turns a space into the simplicial set of continuous maps from standard simplices; the adjunction between them is the core identity. The test shapes are the horns $\Lambda^k[n]$, boundary simplices with one face removed, and the requirement that horns fill to $\Delta[n]$ separates Kan complexes (all horns), quasi-categories (inner horns only), and nerves of categories (unique inner fillers).

What would settle it

Exhibit a topological space $X$ for which the natural map $|S(X)|\to X$ is not a weak equivalence, or a Kan complex $K$ for which $K\to S|K|$ is not a weak equivalence; computing the homotopy groups on both sides of either map would settle the central claim.

Watch

Extended reading notes

Core claim

The paper's central claim is that simplicial sets are the right combinatorial model for topological spaces: the adjoint pair $|-|:\mathbf{SSet}\rightleftarrows\mathbf{Top}:S$, with geometric realization gluing topological simplices and the singular functor recording continuous maps from $\Delta^n$, is an equivalence of homotopy theories (Theorem 6.11). On the category-theoretic side, the paper claims that the nerve functor embeds small categories fully faithfully into simplicial sets, and that replacing unique inner-horn fillers by merely existing inner-horn fillers defines quasi-categories, a widely used model of $(\infty,1)$-categories. This dual role is the pith: the same object is a space up to homotopy and a category up to coherent homotopy.

Load-bearing premise

The central claim rests on the unproved theorem, quoted from the literature, that geometric realization and the singular simplicial set functor give an equivalence of homotopy theories between simplicial sets and topological spaces; if that theorem failed, the paper's bridge between combinatorics and topology would break.

Editorial extensions

If this is right

Since every space has a singular simplicial set and every simplicial set has a geometric realization, a homotopy-invariant question about spaces can be translated into a question about simplicial sets and answered on either side.
Small categories are fully faithfully embedded in simplicial sets by the nerve construction, so functors between categories correspond exactly to maps between their nerves.
The singular set of any space is a Kan complex, and a Kan complex is weakly equivalent to the singular set of its realization, so Kan complexes are the simplicial stand-ins for spaces.
Quasi-categories are obtained from the nerve definition by asking only for existence, not uniqueness, of inner horn fillers, which is what makes them a workable model of $(\infty,1)$-categories; this is the payoff the paper points toward.
The same functorial definition extends beyond sets: simplicial objects in a category, such as simplicial abelian groups, connect simplicial methods to chain complexes via the Dold-Kan correspondence.

Reading between the lines

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

Beyond the paper: the horn-filling hierarchy forms a ladder from ordinary categories to homotopy types, with groupoids, Kan complexes, and quasi-categories as intermediate levels; choosing where to stop determines how much directionality the model keeps.
Beyond the paper: because simplicial sets are finite combinatorial data, homotopy-invariant constructions on spaces could in principle be implemented algorithmically on finite simplicial sets, using degeneracies to keep products and quotients well behaved.
Beyond the paper: the pedagogical claim is testable—a reader with no prior simplicial homotopy theory who works through this route should be able to parse the quasi-category definition and explain why it weakens the nerve of a category.

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

Bergner's survey does what it sets out to do: it gives a genuinely gentle path from simplicial complexes to simplicial sets and quasi-categories. The motivation is well handled—the product and quotient failures of simplicial complexes are concrete, and the shift to Δ-sets and then simplicial sets feels natural. The categorical definition via Δ^op → Set is clearly explained, and the adjunction with Top is stated with the right pointers to Goerss–Jardine. Section 7's progression from nerves to quasi-categories is illuminating for a novice.

The main problem is Proposition 7.6. As stated, it asks for unique filling of all horns Λ^k[n] with n ≥ 1. That cannot be right: for n = 1, every horn is a single vertex, and a map from that vertex to the nerve of a nontrivial groupoid has multiple extensions (the identity morphism and a non-identity automorphism, for instance). The statement becomes correct if one restricts to n ≥ 2, or adds separate invertibility data for 1-simplices. The stress-test note has the horn index backward—Λ^0[1] is the vertex 1, not 0, under the paper's own convention—but the substance is exactly right. This is more than a typo because Section 7 is meant to build intuition for quasi-categories, and a false 'iff' will mislead the target audience.

There is also a smaller typo in Definition 4.2: the degeneracy identity 's_i s_j = s_{j+1} s_i' appears with the equals sign missing. Obvious to an expert, but confusing for a beginner.

Who is this for? A graduate student or researcher in an adjacent field who wants a gentle on-ramp to quasi-categories without drowning in Goerss–Jardine. Such a reader gets real value from Sections 1–6 and most of Section 7. But I would not hand it to a student until Proposition 7.6 is fixed. If it goes to a journal as a survey, it deserves a careful referee: the exposition is good and the error is localized. I would accept it for review, expecting a small revision.

Referee Report

1 major / 5 minor

Summary. This expository paper introduces simplicial sets as combinatorial models for topological spaces and as a bridge to higher category theory. It starts with geometric and abstract simplicial complexes, motivates the passage to oriented simplicial complexes and then to simplicial sets via face and degeneracy maps, reformulates simplicial sets as presheaves on Δ, discusses geometric realization and the singular functor, states the Quillen equivalence between SSet and Top, and explains the nerve construction, Kan complexes, and quasi-categories. The paper is aimed at nonspecialists and explicitly defers technical proofs to standard references such as Goerss–Jardine and Lurie.

Significance. The paper fills a useful expository niche: it is gentler than Goerss–Jardine and more category-theoretic than Friedman, with helpful examples and a clear trajectory from simplicial complexes to quasi-categories. The central mathematical claim, Theorem 6.11, is standard, correctly cited, and appropriately qualified. I also credit the paper for being explicit about what it does not prove and for directing readers to model-categorical treatments. However, the exposition contains a false characterization of nerves of groupoids in Section 7, together with several local errors; these are correctable but must be fixed before the paper can serve as a reliable user's guide.

major comments (1)

[§7, Proposition 7.6] This proposition is false under the paper's own conventions. For n=1, Λ^0[1] is the single vertex 0 (Definition 3.4), so a map Λ^0[1]→K extending to Δ[1] is exactly a 1-simplex whose source (d_1) is the given 0-simplex. In the nerve of a nontrivial groupoid, e.g., the one-object groupoid with two automorphisms, both the identity and the nonidentity automorphism are 1-simplices with the same source, so the required filler is not unique. Thus the 'if' direction already fails; the converse is also incompatible with the existence of multiple 1-simplices with a common source. The statement should be restricted to horns of dimension n≥2, with a separate condition on invertibility of 1-simplices if needed, and the surrounding discussion of outer horns should be adjusted accordingly.

minor comments (5)

[§4, Definition 4.2] The fifth displayed simplicial identity is malformed; it should read s_i s_j = s_{j+1} s_i for i≤j, and the missing equality sign should be restored.
[§6, Proposition 6.4] The singular functor is S: Top→SSet, not SSet→Top; the displayed arrow direction should be corrected.
[§2, Example 2.4] The proposed S_K is not an abstract simplicial complex because {a,c,d}∈S_K but {a,d}∉S_K; either add {a,d} or modify the example.
[§2, Definition 2.1] A k-simplex is said to be 'denoted by Δn'; this should presumably read Δ^k, and the notation should be harmonized with the later use of Δ^n for the topological n-simplex.
[§5, Definition 5.11] For natural transformations between functors with arbitrary codomain D, the component η_x should be a morphism in D, not necessarily a function; the current wording is only correct when D=Set.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the survey's central claims are cited to standard external references, and the paper's self-citations are background only.

full rationale

This is an expository survey, not a derivation-from-first-principles paper. The central homotopy-theoretic comparison is Theorem 6.11, stated as "[9, I.11.4]" with a remark that it "can be realized, for example, as a Quillen equivalence of model categories" and a pointer to [7]. Propositions 6.4, 6.6, 6.9, and 6.10 are likewise either cited to Goerss–Jardine [9] or explicitly sketched as standard. These are external, checkable results, and the paper openly says it will not prove the Quillen equivalence in detail. The two self-citations, [2] (the author's book) and [3] (the author's survey), appear only as suggestions for further reading or background in Section 1 and at the end of Section 8; they are not used to justify any theorem. No fitted parameter is renamed as a prediction, no quantity is defined in terms of the conclusion, and no load-bearing claim is justified solely by a self-citation. The only notable defect, Proposition 7.6, is a mathematical correctness issue about uniqueness of horn fillers in dimension 1, not a form of circularity. Since no circular step can be exhibited with a quote and a specific reduction, the circularity score is 0.

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

This is a survey of established mathematics. It introduces no new free parameters and no new entities. The central narrative depends on standard background results in category theory, algebraic topology, and model categories, all cited to authoritative textbooks. The only original contribution is the arrangement and exposition of known material.

assumptions (5)

standard math ZFC set theory and standard definitions of categories, functors, natural transformations, and topological spaces.
Used throughout to define simplicial sets as functors Delta^op -> Set and to state theorems about geometric realization and nerves.
standard math The model category structures on SSet and Top and the Quillen equivalence between them (from Goerss-Jardine [9] and Dwyer-Spalinski [7]).
Invoked after Theorem 6.11 to make precise the claim that the adjunction |−| ⊣ S is an equivalence of homotopy theories; the paper does not prove this.
standard math The singular simplicial set of any topological space is a Kan complex (Proposition 6.6).
Stated with only a sketch; standard result that every horn in S(X) can be filled by a homotopy.
standard math Characterizations of nerves of categories and groupoids via unique inner or all horn fillers (Propositions 7.4 and 7.6).
Stated without proof; standard results in the theory of nerves and quasi-categories.
standard math Dold-Kan equivalence between simplicial abelian groups and nonnegatively graded chain complexes (Example 8.3).
Cited to [9, III.2.3] and used to indicate the reach of simplicial methods.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Simplicial sets in topology, category theory, and beyond." pith.science (2026). https://pith.science/paper/SSTOA23L

@misc{pith2026241118561,
  author       = {Pith},
  title        = {Pith review of: Simplicial sets in topology, category theory, and beyond},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SSTOA23L}},
  note         = {Machine review of arXiv:2411.18561}
}

read the original abstract

The notion of a simplicial set originated in algebraic topology, and has also been utilized extensively in category theory, but until relatively recently was not used outside of those fields. However, with the increasing prominence of higher categorical methods in a wide range of applications, it is important for researchers in a range of fields to have a good working knowledge of them. This paper is intended as an introduction to simplicial sets, both as an overview of their development from other concepts, and as a user's guide for someone wanting to read modern literature that makes use of them.

Figures

Figures reproduced from arXiv: 2411.18561 by the authors.

**Figure 1.** illustrates the difference between the convex hull of points that are in general position compared to ones that are not [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗

**Figure 2.** Examples of low-dimensional simplices. is just a triangle, we often think of simplices (of any dimension) as “generalized triangles.” The points v0, . . . , vk are called the vertices of a simplex. Restricting to a subset of the vertices, we get a simplex of a lower dimension, called a face of the original simplex. Simplices are particularly nice convex spaces because they are completely determined by their vertice… view at source ↗

**Figure 3.** A simplicial complex. Many familiar objects can be thought of as simplicial complexes. For example, polyhedra made up of triangles are simplicial complexes, such as the boundaries of the tetrahedron, the octahedron (as illustrated in [PITH_FULL_IMAGE:figures/full_fig_p003_3.png] view at source ↗

Figures from the paper (4 more)

**Figure 4.** Figure 4: The octahedron as a simplicial complex. Definition 2.3. An abstract simplicial complex K is a pair (VK, SK), where VK is a finite set (whose elements are called vertices) and SK is a set of nonempty finite subsets of VK (called simplices) such that all singleton subset…

**Figure 5.** Figure 5: Standard geometric realization of ∆2 . However, we need a more formal definition, especially for working with larger examples. To start, we want to be sure that n is sufficiently large, in particular at least as large as the cardinality of the largest set in SK. One ap…

**Figure 6.** Figure 6: The horns Λ0 [2], Λ1 [2], and Λ2 [2]. Given oriented simplicial complexes K and L, we define their product K × L to have vertices VK×L = VK × VL. Observe that this set is still partially ordered. Its simplices are given by SK×L = {totally ordered subsets σ of VK×L with…

**Figure 7.** Figure 7: The degeneracy maps s0 and s1 for 0 ≤ i ≤ n, satisfying the relations didj = dj−1di i < j disj = sj−1di i < j dj sj = dj+1sj = id disj = sjdi−1 i > j + 1 sisj sj+1si i ≤ j. Thus, a simplicial set looks like a diagram of sets and functions X0 /X1 oo //X2 oo o /// o · · …

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

[1]

Omar Antol ´ ın Camerena, A whirlwind tour of the world of ( ∞ ,1)-categories, preprint avail- able at math.CT/1303.4669

work page Pith review arXiv
[2]

Bergner, The Homotopy Theory of (∞ ,1)-Categories, Cambridge University Press, 2018

Julia E. Bergner, The Homotopy Theory of (∞ ,1)-Categories, Cambridge University Press, 2018

work page 2018
[3]

Bergner, A survey of ( ∞ ,1)-categories, in J

Julia E. Bergner, A survey of ( ∞ ,1)-categories, in J. Baez and J. P. May, Towards Higher Categories, IMA Volumes in Mathematics and Its Applications , Springer, 2010, 69–83

work page 2010
[4]

Boardman and R.M

J.M. Boardman and R.M. Vogt, Homotopy invariant algebraic structures on topological spaces. Lecture Notes in Mathematics, Vol. 347. Springer-Verlag, 1973

work page 1973
[5]

Cambridge Stud ies in Advanced Mathematics, 180

Denis-Charles Cisinski, Higher Categories and Homotopical Algebra. Cambridge Stud ies in Advanced Mathematics, 180. Cambridge University Press, Cambridge, 2019

work page 2019
[6]

Dwyer, Classifying spaces and homology decomposit ions, in Homotopy Theoretic Meth- ods in Group Cohomology , Advanced Courses in Math CRM Barcelona, Birkhauser, 2001

W.G. Dwyer, Classifying spaces and homology decomposit ions, in Homotopy Theoretic Meth- ods in Group Cohomology , Advanced Courses in Math CRM Barcelona, Birkhauser, 2001

work page 2001
[7]

Dwyer and J

W.G. Dwyer and J. Spalinski, Homotopy theories and model categories, in Handbook of Algebraic Topology, Elsevier, 1995

work page 1995
[8]

Greg Friedman, An elementary illustrated introduction to simplicial sets, Rocky Mountain J. Math. 42 (2012), no. 2, 353–423

work page 2012

Show all 18 references

[9]

Goerss and J.F

P.G. Goerss and J.F. Jardine, Simplicial Homotopy Theory, Progress in Math , vol. 174, Birkhauser, 1999

1999
[10]

Handbook of Homotopy Theory , 549–617, CRC Press, 2020

Moritz Groth, A short course on ∞ -categories. Handbook of Homotopy Theory , 549–617, CRC Press, 2020

2020
[11]

Allen Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, 2002

2002
[12]

Andr´ e Joyal, Notes on quasi-categories, preprint ava ilable at https://www.math.uchicago.edu/~may/IMA/Joyal.pdf
[13]

Andr´ e Joyal, The theory of quasi-categories and its ap plications, preprint available at https://mat.uab.cat/ ~kock/crm/hocat/advanced-course/Quadern45-2.pdf
[14]

Notices Amer

Marc Levine, Some recent trends in motivic homotopy the ory. Notices Amer. Math. Soc. 67 (2020), no. 1, 9–20

2020
[15]

Annals of Mathematics Studies , 170

Jacob Lurie, Higher Topos Theory. Annals of Mathematics Studies , 170. Princeton University Press, Princeton, NJ, 2009

2009
[16]

May, Simplicial Objects in Algebraic Topology , University of Chicago Press, 1967

J.P. May, Simplicial Objects in Algebraic Topology , University of Chicago Press, 1967

1967
[17]

James R. Munkres. Topology, Second Edition , Prentice Hall, Inc., Upper Saddle River, NJ, 2000

2000
[18]

Department of Mathematics, University of Virginia, Charlott esville, V A 22904 Email address : jeb2md@virginia.edu

Emily Riehl, Category Theory in Context , Aurora: Dover Modern Math Originals, 2016. Department of Mathematics, University of Virginia, Charlott esville, V A 22904 Email address : jeb2md@virginia.edu

2016

Pith tools

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

[1] [1]

Omar Antol ´ ın Camerena, A whirlwind tour of the world of ( ∞ ,1)-categories, preprint avail- able at math.CT/1303.4669

work page Pith review arXiv

[2] [2]

Bergner, The Homotopy Theory of (∞ ,1)-Categories, Cambridge University Press, 2018

Julia E. Bergner, The Homotopy Theory of (∞ ,1)-Categories, Cambridge University Press, 2018

work page 2018

[3] [3]

Bergner, A survey of ( ∞ ,1)-categories, in J

Julia E. Bergner, A survey of ( ∞ ,1)-categories, in J. Baez and J. P. May, Towards Higher Categories, IMA Volumes in Mathematics and Its Applications , Springer, 2010, 69–83

work page 2010

[4] [4]

Boardman and R.M

J.M. Boardman and R.M. Vogt, Homotopy invariant algebraic structures on topological spaces. Lecture Notes in Mathematics, Vol. 347. Springer-Verlag, 1973

work page 1973

[5] [5]

Cambridge Stud ies in Advanced Mathematics, 180

Denis-Charles Cisinski, Higher Categories and Homotopical Algebra. Cambridge Stud ies in Advanced Mathematics, 180. Cambridge University Press, Cambridge, 2019

work page 2019

[6] [6]

Dwyer, Classifying spaces and homology decomposit ions, in Homotopy Theoretic Meth- ods in Group Cohomology , Advanced Courses in Math CRM Barcelona, Birkhauser, 2001

W.G. Dwyer, Classifying spaces and homology decomposit ions, in Homotopy Theoretic Meth- ods in Group Cohomology , Advanced Courses in Math CRM Barcelona, Birkhauser, 2001

work page 2001

[7] [7]

Dwyer and J

W.G. Dwyer and J. Spalinski, Homotopy theories and model categories, in Handbook of Algebraic Topology, Elsevier, 1995

work page 1995

[8] [8]

Greg Friedman, An elementary illustrated introduction to simplicial sets, Rocky Mountain J. Math. 42 (2012), no. 2, 353–423

work page 2012