Teor\'ia de homotop\'ia usando conjuntos simpliciales

Ang\'elica Osorno; Manuel Rivera; Mathilda Campillo

Teor\'ia de homotop\'ia usando conjuntos simpliciales

T0 review · 0 major / 6 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 Simplicial sets and spaces determine each other up to weak equivalence.

desk verdict Solid Spanish-language lecture notes with no new mathematics; accurate transcriptions of standard results, useful for students, not for researchers. read the letter →

arxiv 2411.10567 v1 pith:4KBHFMLJ submitted 2024-11-15 math.AT math.CT

Mathilda Campillo , Angélica Osorno , Manuel Rivera This is my paper · ORCID

classification math.ATmath.CT MSC 55U1018N60

keywords simplicialsetshomotopytheoryKancomplexesquasi-categoriesgeometricrealizationsingularcomplexweakequivalencetopologicalnerve

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

These lecture notes set out the standard dictionary between topological spaces and simplicial sets, with the goal of showing that the two frameworks encode the same homotopy theory. The central assertion is that for every simplicial set $S$ and every topological space $X$, the natural maps $\eta_S : S \to \mathrm{Sing}(|S|)$ and $\varepsilon_X : |\mathrm{Sing}(X)| \to X$ are weak equivalences. If this holds, every simplicial set can be replaced by a Kan complex and every space by a CW complex without changing its homotopy type, so combinatorial simplicial methods apply to all of homotopy theory. The notes further claim that the topological nerve of the path category of a space is naturally weakly equivalent to the singular complex, allowing each space to be recovered functorially from a topologically enriched category. The document is deliberately proof-free, with every theorem stated on the authority of the cited literature.

What carries the argument

The central mechanism is the adjoint pair $(|-|, \mathrm{Sing})$ between simplicial sets and topological spaces: geometric realization builds a CW complex by gluing topological simplices according to the face and degeneracy maps, and the singular complex records all continuous maps from standard simplices into a space. The unit $\eta_S : S \to \mathrm{Sing}(|S|)$ sends each simplex to the corresponding continuous map from the standard simplex into the realization, and the counit $\varepsilon_X : |\mathrm{Sing}(X)| \to X$ evaluates singular simplices; the load-bearing theorem is that both are weak equivalences. Around this core sit the combinatorial notions that make it work: horns $\Lambda^n_i$ and Kan complexes, which admit fillers and behave like $\infty$-groupoids; the simplicial definition of homotopy groups via the isomorphism $\pi_n(K,v) \cong \pi_n(|K|,v)$; and the topological nerve $N^{\mathrm{Top}}$, which turns a topologically enriched category into a simplicial set.

What would settle it

Find one simplicial set $S$ for which $\eta_S$ fails to induce a bijection $[K,S] \to [K,\mathrm{Sing}(|S|)]$ for some Kan complex $K$, or one space $X$ for which $\varepsilon_X$ fails to induce isomorphisms on all homotopy groups; any such example falsifies Theorem 5.10. A less computational check is to compare the statement of Theorem 5.10 with the exact theorem in the cited sources and look for a discrepancy in hypotheses, such as a missing fibrancy or cofibrancy condition.

Watch

Extended reading notes

Core claim

The paper's central claim, stated as Theorem 5.10, is that the geometric realization functor $|-| : \mathrm{sSet} \to \mathrm{Top}$ and the singular complex functor $\mathrm{Sing} : \mathrm{Top} \to \mathrm{sSet}$ form a homotopy-theoretic equivalence of categories. For every simplicial set $S$ the unit $\eta_S : S \to \mathrm{Sing}(|S|)$ is a weak equivalence in $\mathrm{sSet}$, and for every topological space $X$ the counit $\varepsilon_X : |\mathrm{Sing}(X)| \to X$ is a weak equivalence in $\mathrm{Top}$. Consequently every simplicial set is weakly equivalent to a Kan complex and every topological space is weakly equivalent to a CW complex. In addition, Theorem 5.11 asserts that for every topologically enriched category $\mathcal{C}$, the topological nerve $N^{\mathrm{Top}}(\mathcal{C})$ is a quasi-category (and a Kan complex when the underlying homotopy category is a groupoid), and that for every space $X$ there is a natural weak equivalence $\mathrm{Sing}(X) \to N^{\mathrm{Top}}(P(X))$ from the singular complex to the topological nerve of the path category. Together these statements say that spaces, simplicial sets, and certain enriched categories are interchangeable carriers of the same homotopical information.

Load-bearing premise

The notes contain no proofs, so the entire pedagogical edifice rests on the assumption that every theorem, especially Theorems 5.10 and 5.11, is accurately quoted from the cited literature and that those sources are correct.

Editorial extensions

If this is right

Every simplicial set has a canonical fibrant replacement $\mathrm{Sing}(|S|)$, so homotopy-theoretic constructions on simplicial sets can be performed after passing to a Kan complex.
Every topological space has a canonical CW replacement $|\mathrm{Sing}(X)|$, so invariants such as homotopy groups can be computed from the combinatorial singular complex.
The isomorphism $\pi_n(K,v) \cong \pi_n(|K|,v)$ for Kan complexes gives a purely combinatorial definition of the homotopy groups of a space.
Every space $X$ is determined up to weak equivalence by its path category $P(X)$ enriched in spaces, via the natural equivalence $\mathrm{Sing}(X) \to N^{\mathrm{Top}}(P(X))$.
Since $N^{\mathrm{Top}}(\mathcal{C})$ is a quasi-category for every topologically enriched category $\mathcal{C}$, quasi-category theory can be used to model homotopy theories of enriched categories.

Reading between the lines

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

A testable extension suggested by the notes is to compute the homotopy groups of a space through $\mathrm{Sing}(X)$ and the isomorphism $\pi_n(K,v) \cong \pi_n(|K|,v)$, checking the claimed equivalence on concrete examples such as spheres.
If the topological nerve statement is accurate, then the path category $P(X)$ carries the full homotopy type of $X$; this suggests one could model spaces by their enriched path categories and use quasi-category theory without first taking geometric realization.
The proof-free format leaves open the possibility that some statements have hidden hypotheses; a useful exercise is to supply proofs or counterexamples for the assertions marked as easier, which would test the boundary of the claims.

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.

Desk Editor's Note

read the letter

Short version: these are solid, useful lecture notes in Spanish, not a research paper. No new mathematics and no proofs, but the statements are standard and, so far as I checked, correctly transcribed. The reader and the stress-test both give it a clean pass; I agree.

What makes it worth a look: the selection and ordering is good—homotopy groups, CW complexes, simplicial sets, nerves, then the Quillen equivalence |−| ⊣ Sing, and a taste of Lurie's topological nerve. The examples (Warsaw circle, BG, the path category PX) are well chosen, and the no-proofs policy is honest: the notes tell the reader to try proving things, which is the right way to use a mini-course guide. The Spanish-language gap in expositions of simplicial homotopy theory is real, and these notes are a reasonable stopgap.

Soft spots are minor. There is a typo in Notación 3.1: the set-builder for ∆([m],[n]) is written as functions [n]→[m] instead of [m]→[n]. Definition 2.5 has a duplicated 'para todo'. In Section 5.3, the definition of C[k] is sketchy and leaves the functoriality to the reader; that is acceptable for notes, but it is the least self-contained part. More fundamentally, because there are no proofs, the notes cannot be independently verified; but the citations (Friedman, Goerss–Jardine, May, Curtis, Lurie's Kerodon) are appropriate, and the main theorems 5.10 and 5.11 are the standard results. The one self-citation, [Oso18], is only suggested reading and not load-bearing.

Who is this for? Students meeting simplicial methods for the first time and instructors looking for a Spanish-language roadmap. Researchers will not find new content. My recommendation: if it is submitted to a research journal, desk reject; if it is meant for an expository or pedagogical venue—or simply as curated course notes—it deserves a light referee pass to correct typos and confirm the transcribed statements. I would accept a referee request for that purpose.

Referee Report

0 major / 6 minor

Summary. These Spanish-language lecture notes present an expository introduction to homotopy theory via simplicial sets, based on a mini-course given by Osorno and Rivera. The text covers homotopy and weak equivalences for topological spaces, CW complexes, simplicial sets and their face and degeneracy operators, basic category theory and enriched categories, the geometric realization and singular complex functors, Kan complexes, and the resulting Quillen equivalence between simplicial sets and topological spaces (Theorem 5.10). Section 5.3 introduces the topological nerve N^Top and states Lurie's theorem that N^Top(C) is a quasi-category, and that it is a Kan complex when π0(C) is a groupoid, together with the natural weak equivalence Sing(X) → N^Top(P(X)) (Theorem 5.11). The notes explicitly state in §1 that no proofs are included and that the intended use is for readers to prove each statement themselves; all nontrivial results are attributed to the cited literature.

Significance. As a survey and mini-course guide, the notes are well organized, readable, and mathematically accurate in their central claims. Theorem 5.10 is the standard statement that the adjunction |−| ⊣ Sing is a Quillen equivalence, and Theorem 5.11 is the standard coherent-nerve result from Lurie's work; both are correctly transcribed. The paper also contains useful pedagogical examples, including the path category P(X), the fundamental groupoid, the nerve of a category, and the natural transformations for free-forgetful adjunctions. The explicit declaration that the text contains no proofs is appropriate for its stated purpose. The main value of the manuscript is expository: it collects key definitions, statements, and references in one place. There are no original derivations, so the soundness of the notes rests on the cited sources; I checked the main theorems and found them faithful to the standard literature.

minor comments (6)

[§3.1, Notación 3.1] The set-builder definition of ∆([m], [n]) reverses the domain and codomain: it reads {f : [n] → [m] | ...}, but the intended set is nondecreasing functions [m] → [n], as used in Definition 3.2 and the surrounding text.
[§3, after Corolario 3.6] The statement that the number of nondegenerate n-simplices in (Δ^p)_n is binom(p+1,n) is incorrect; the correct count is binom(p+1,n+1) for 0 ≤ n ≤ p, since a nondegenerate n-simplex is determined by a strictly increasing sequence of n+1 vertices.
[§5.2, Definición 5.6] The notation for the two inclusions Δ^0 → Δ^1 is written as d^i, while earlier face maps are written as d_i with the opposite variance; the authors should clarify the upper-index convention or use a different notation to avoid confusion.
[§4, Definición 4.4] In the definition of natural transformations, the type of α is written as α : C ⇒ D; it should be α : F ⇒ G, since α is a natural transformation between the functors F and G.
[§1 and throughout] Because the notes contain no proofs, each theorem is asserted on the authority of the cited references; adding precise pointers to the relevant theorems in [Fri12], [GJ09], [May92], and [Lur24] would make the notes more useful for independent study.
[§5.3 and references] The reference to [Lur24] uses Kerodon tags such as Tag 00KM, but no access date or version is given; adding the access date would help readers who consult the online resource at a later time.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the notes transcribe standard external theorems, and the only self-citation is a non-load-bearing reading suggestion.

full rationale

The paper is a set of lecture notes that explicitly disclaims proofs: Section 1 states “No hemos incluido demostraciones en este documento.” Its central assertions, Theorem 5.10 and Theorem 5.11, are standard results about the Quillen equivalence −| ⊢ Sing and Lurie’s topological nerve. The natural transformations η and ε are explicitly constructed, but their status as weak equivalences is not derived from those constructions; it is asserted on the authority of the cited references [Fri12; GJ09; May92; Cur71; Lur24]. Likewise, the statement that N^Top(C) is a quasi-category and the equivalence Sing(X) ≃ N^Top(P(X)) are quoted from the Lurie literature, not obtained by renaming or by definition. There are no fitted parameters being called predictions, no load-bearing self-citations, and no uniqueness claims imported from the authors’ own prior work. The only self-citation, [Oso18], appears in a suggested-reading remark about the fundamental group and covering spaces in Section 2.2.1; it plays no role in supporting the central mathematical content. The absence of proofs is a genre feature of a mini-course guide, not a circular step. Thus the derivation chain, such as it is, is self-contained in the sense that every nontrivial statement is traceable to an external, independently established source.

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

No free parameters or invented entities appear in the notes. The constructions presented, including the topological nerve N^Top and Lurie's comparison theorem, are imported from the cited literature and are not claimed as new. The axiom ledger therefore records only the background assumptions on which the exposition relies.

assumptions (3)

domain assumption Background in point-set topology and set theory is assumed.
Section 1 states the notes are accessible to students with basic knowledge of general topology; continuity, compactness, quotient topology and CW complexes are used without definition or proof.
standard math Classical theorems of homotopy theory are taken as true from the literature.
Sections 2 and 5 cite [Hat02], [May99], [Mil59], and [GJ09] for results such as Whitehead's theorem, homotopy groups of spheres, CW approximation, and Kan's condition; proofs are omitted by design.
standard math Lurie's results on quasi-categories and the topological nerve are assumed.
Section 5.3 states Theorem 5.11 with references to [Lur24, Tag 00KM] and [Lur09]; no proof or model-category background is developed.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Teor\'ia de homotop\'ia usando conjuntos simpliciales." pith.science (2026). https://pith.science/paper/4KBHFMLJ

@misc{pith2026241110567,
  author       = {Pith},
  title        = {Pith review of: Teor\'ia de homotop\'ia usando conjuntos simpliciales},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4KBHFMLJ}},
  note         = {Machine review of arXiv:2411.10567}
}

read the original abstract

These lecture notes (in Spanish) are based on a mini-course given by A. Osorno and M. Rivera at the First Colombian Geometry and Topology Meeting that took place at the Universidad Nacional de Colombia in July 2024 in Bogota. They are intended to be a guide for a first encounter with homotopy theory and simplicial methods - emphasizing intuition and important statements - accessible to students with basic knowledge of point set topology. Estas notas surgieron como parte de un mini-curso dictado por A. Osorno y M. Rivera en el primer Encuentro Colombiano de Geometr\'ia y Topolog\'ia (ECOGyT) que se llev\'o a cabo en la Universidad Nacional de Colombia sede Bogot\'a en julio del 2024. La idea es que sirvan como una gu\'ia para un primer encuentro con la teor\'ia de homotop\'ia y t\'ecnicas simpliciales - enfatizando en la intuici\'on y enunciados importantes - accesible a estudiantes con conocimiento b\'asico de topolog\'ia general y as\'i invitar a indagar m\'as profundamente sobre el tema y sus aplicaciones en distintos campos.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

[1]

Simplicial homotopy theory

[Cur71] Edward B. Curtis. “Simplicial homotopy theory”. Advances in Math. 6 (1971), pp. 107–209. [Fri12] Greg Friedman. “Survey article: An elementary illustrated intro- duction to simplicial sets”. Rocky Mountain J. Math. 42.2 (2012), pp. 353–423. [GJ09] Paul G. Goerss and John F. Jardine. Simplicial homotopy the- ory. Modern Birkh¨ auser Classics. Repri...

work page 1971
[5]

Springer-Verlag, New York, 1998, pp

Graduate Texts in Mathematics. Springer-Verlag, New York, 1998, pp. xii+314. [Mas77] William S. Massey. Algebraic topology: an introduction. Graduate Texts in Mathematics, Vol

work page 1998
[56]

On spaces having the homotopy type of a CW- complex

Reprint of the 1967 edition. Springer- Verlag, New York-Heidelberg, 1977, xxi+261 pp. [Mau96] C. R. F. Maunder. Algebraic topology. Reprint of the 1980 edition. Dover Publications, Inc., Mineola, NY, 1996, pp. viii+375. [May92] J. Peter May. Simplicial objects in algebraic topology . Chicago Lectures in Mathematics. Reprint of the 1967 original. Universit...

work page 1959
[64]

What is . . .an ∞-category?

An introduction to algebraic topology. Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975, pp. xiii+368. [Hat02] Allen Hatcher. Algebraic topology. Cambridge University Press, Cambridge, 2002, pp. xii+544. [Lur08] Jacob Lurie. “What is . . .an ∞-category?” Notices Amer. Math. Soc. 55.8 (2008), pp. 949–950. [Lur09] Jacob Lurie. H...

work page 2008
[145]

An introduction to algebraic topology

Graduate Texts in Mathematics. An introduction to algebraic topology. Springer- Verlag, New York, 1994, pp. xiv+242. (M. Campillo) Departamento de Matem´aticas y Estad´ıstica, Universidad del Norte, Km. 5 V ´ıa Antigua Puerto Colombia, Barranquilla 081007, Colombia Email address: mathildac@uninorte.edu.co (A. Osorno) Department of Mathematics and Statisti...

work page 1994
[170]

Princeton University Press, Princeton, NJ, 2009, pp

Annals of Mathe- matics Studies. Princeton University Press, Princeton, NJ, 2009, pp. xviii+925. [Lur24] Jacob Lurie. Kerodon. https://kerodon.net

work page 2009
[2001]

Invitaci´ on a la teor ´ ıa de homotop ´ ıa: Grupo fundamental y espacios recubridores

url: https://sites.math.washington.edu/ ~mitchell /Notes/prin.pdf. [Oso18] Ang´ elica Osorno. “Invitaci´ on a la teor ´ ıa de homotop ´ ıa: Grupo fundamental y espacios recubridores”. Lecturas Matem´ aticas39.1 (2018), pp. 29–48. [Rie16] Emily Riehl. Category theory in context . Aurora Dover Modern Math Originals. Dover Publications, Inc., Mineola, NY, 20...

work page 2018

Pith tools

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

[1] [1]

Simplicial homotopy theory

[Cur71] Edward B. Curtis. “Simplicial homotopy theory”. Advances in Math. 6 (1971), pp. 107–209. [Fri12] Greg Friedman. “Survey article: An elementary illustrated intro- duction to simplicial sets”. Rocky Mountain J. Math. 42.2 (2012), pp. 353–423. [GJ09] Paul G. Goerss and John F. Jardine. Simplicial homotopy the- ory. Modern Birkh¨ auser Classics. Repri...

work page 1971

[2] [5]

Springer-Verlag, New York, 1998, pp

Graduate Texts in Mathematics. Springer-Verlag, New York, 1998, pp. xii+314. [Mas77] William S. Massey. Algebraic topology: an introduction. Graduate Texts in Mathematics, Vol

work page 1998

[3] [56]

On spaces having the homotopy type of a CW- complex

Reprint of the 1967 edition. Springer- Verlag, New York-Heidelberg, 1977, xxi+261 pp. [Mau96] C. R. F. Maunder. Algebraic topology. Reprint of the 1980 edition. Dover Publications, Inc., Mineola, NY, 1996, pp. viii+375. [May92] J. Peter May. Simplicial objects in algebraic topology . Chicago Lectures in Mathematics. Reprint of the 1967 original. Universit...

work page 1959

[4] [64]

What is . . .an ∞-category?

An introduction to algebraic topology. Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975, pp. xiii+368. [Hat02] Allen Hatcher. Algebraic topology. Cambridge University Press, Cambridge, 2002, pp. xii+544. [Lur08] Jacob Lurie. “What is . . .an ∞-category?” Notices Amer. Math. Soc. 55.8 (2008), pp. 949–950. [Lur09] Jacob Lurie. H...

work page 2008

[5] [145]

An introduction to algebraic topology

Graduate Texts in Mathematics. An introduction to algebraic topology. Springer- Verlag, New York, 1994, pp. xiv+242. (M. Campillo) Departamento de Matem´aticas y Estad´ıstica, Universidad del Norte, Km. 5 V ´ıa Antigua Puerto Colombia, Barranquilla 081007, Colombia Email address: mathildac@uninorte.edu.co (A. Osorno) Department of Mathematics and Statisti...

work page 1994

[6] [170]

Princeton University Press, Princeton, NJ, 2009, pp

Annals of Mathe- matics Studies. Princeton University Press, Princeton, NJ, 2009, pp. xviii+925. [Lur24] Jacob Lurie. Kerodon. https://kerodon.net

work page 2009

[7] [2001]

Invitaci´ on a la teor ´ ıa de homotop ´ ıa: Grupo fundamental y espacios recubridores

url: https://sites.math.washington.edu/ ~mitchell /Notes/prin.pdf. [Oso18] Ang´ elica Osorno. “Invitaci´ on a la teor ´ ıa de homotop ´ ıa: Grupo fundamental y espacios recubridores”. Lecturas Matem´ aticas39.1 (2018), pp. 29–48. [Rie16] Emily Riehl. Category theory in context . Aurora Dover Modern Math Originals. Dover Publications, Inc., Mineola, NY, 20...

work page 2018