{"id":"2e07da8d-4432-44ca-a386-67f0f6154594","arxiv_id":"2411.10567","paper_version":1,"verdict":"UNVERDICTED","confidence":"HIGH","novelty_score":0.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A Spanish-language teaching survey of homotopy theory through simplicial sets, presenting standard results without proofs.","lead":"These Spanish lecture notes introduce homotopy theory and simplicial sets, covering homotopy groups, CW complexes, Kan complexes, geometric realization, and a comparison between spaces and simplicial sets. They are a pedagogical survey with no new theorems and no proofs, intended for students with basic topology.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified. The central theorems are standard and correctly stated; the absence of proofs is explicitly declared and does not affect correctness of the mathematical claims.","rationale":"The manuscript is a set of lecture notes with no proofs, as it states. Its central claims are classical theorems whose truth I have independently confirmed from standard references. There is no internal inconsistency: definitions align with the usual conventions, and the cited results (Whitehead theorem, Kan complex recognition for Sing(X), Quillen equivalence, coherent nerve from Lurie) are correctly quoted. The reader's verdict UNVERDICTED is appropriate: there is no research claim to test and the pedagogy is expository. The absence of proofs is a deliberate choice, and the authors explicitly invite readers to prove statements themselves; this cannot be converted into a correctness objection. Therefore no adjustment to the reader's verdict is needed.","tokens_in":19292,"tokens_out":6523,"duration_ms":66520,"concrete_test":"Verify the two cited Kerodon references: check that Tag 00VJ states π_n(K,v) ≅ π_n(|K|,v) for Kan complexes and Tag 00KM discusses the topological nerve; if both tags support the quoted claims, the citation basis for Theorems 5.10–5.11 is sound.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I examined the two central assertions. Theorem 5.10 is the standard Quillen-equivalence statement for |−| ⊣ Sing: since every simplicial set is cofibrant in the Kan–Quillen model structure, η_S: S → Sing(|S|) is a weak equivalence for all S, and ε_X: |Sing(X)| → X is a weak equivalence for every topological space X (with |Sing(X)| a CW complex). Theorem 5.11 is the familiar coherent-nerve result from Lurie: N^Top(C) is a quasi-category because it is built from Sing(−) of the mapping spaces, and when the homotopy category is a groupoid the nerve is a Kan complex; the equivalence Sing(X) ≃ N^Top(P(X)) is a known consequence of the same construction. I found no misstatement or unsupported claim in the transcriptions. The only limitation, stated explicitly in §1 ('No hemos incluido demostraciones en este documento'), is that the notes rely entirely on [Fri12; GJ09; May92; Cur71; Lur24]; this is a genre feature of a mini-course guide, not a logical gap in the mathematics.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":19455,"tokens_out":8534,"duration_ms":83946,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":"§3.1, Notación 3.1"},{"comment":"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.","section":"§3, after Corolario 3.6"},{"comment":"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.","section":"§5.2, Definición 5.6"},{"comment":"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.","section":"§4, Definición 4.4"},{"comment":"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.","section":"§1 and throughout"},{"comment":"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.","section":"§5.3 and references"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is a set of expository lecture notes with no original research contributions. If the target journal publishes survey or pedagogical material, it fits the scope; if the journal expects original research, the fit is questionable. There are no citation-pattern concerns: the only self-citation, [Oso18], is suggested as further reading and plays no role in supporting the main results. The main local issues to fix are the binomial count in §3 and the reversed arrows in Notación 3.1, both of which are minor but should be corrected before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nWhat 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.\n\nSoft 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.\n\nWho 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.","headline":"Solid Spanish-language lecture notes with no new mathematics; accurate transcriptions of standard results, useful for students, not for researchers.","tokens_in":19997,"tokens_out":4143,"would_cite":false,"duration_ms":42141,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55U10","18N60"],"pacs":[],"model":"deepseek-v4-flash","headline":"Simplicial sets and spaces determine each other up to weak equivalence.","keywords":["simplicial sets","homotopy theory","Kan complexes","quasi-categories","geometric realization","singular complex","weak equivalence","topological nerve"],"falsifier":"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.","tokens_in":19055,"feed_emoji":"🔺","tokens_out":9214,"duration_ms":78431,"temperature":0.7,"pith_summary":"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.","feed_headline":"Simplicial sets capture every space up to weak equivalence","feed_subtitle":"The functors Sing and |–| are mutual inverses up to weak equivalence, so every space gets a CW model.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Standard modern reference for simplicial homotopy theory; underpins the model structure and the weak-equivalence statements in Section 5.2.","marker":"[GJ09]"},{"why":"Supplies the CW-complex basics, Whitehead's theorem, and the fact that compact manifolds are homotopy equivalent to CW complexes used in Sections 2 and 5.1.","marker":"[Hat02]"},{"why":"Source for the homotopy extension and lifting principle (HELP) used in the proof sketch of Whitehead's theorem and for background on homotopy groups.","marker":"[May99]"},{"why":"Classical reference for simplicial homotopy theory; supports the definition of weak equivalences and Kan complexes in the simplicial setting.","marker":"[Cur71]"},{"why":"Elementary illustrated introduction to simplicial sets; backs the basic constructions (nerve, singular complex, geometric realization) and examples.","marker":"[Fri12]"},{"why":"Cited for the isomorphism $\\pi_n(K,v) \\cong \\pi_n(|K|,v)$ between simplicial and topological homotopy groups of a Kan complex.","marker":"[Lur24, Tag 00VJ]"},{"why":"Cited for the definition and properties of the topological nerve $N^{\\mathrm{Top}}$ used in Theorem 5.11.","marker":"[Lur24, Tag 00KM]"},{"why":"First chapter cited for the quasi-category theory behind the topological nerve and the statement that $N^{\\mathrm{Top}}(\\mathcal{C})$ is a quasi-category.","marker":"[Lur09]"}],"fun_headline_variants":["Simplicial sets and spaces are the same up to weak equivalence","Every space is weakly equivalent to a CW complex","Sing and realization: a homotopy-equivalent pair","Spaces and simplicial sets carry the same homotopy info","From points to simplices: an equivalence of homotopy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Simplicial sets and spaces are the same up to weak equivalence","Every space is weakly equivalent to a CW complex","Sing and realization: a homotopy-equivalent pair","Spaces and simplicial sets carry the same homotopy info","From points to simplices: an equivalence of homotopy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000901,"raw_usage":{"total_tokens":3940,"prompt_tokens":1069,"completion_tokens":2871,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":685,"completion_tokens_details":{"reasoning_tokens":2786}},"tokens_in":685,"tokens_out":2871,"duration_ms":20181,"temperature":1.0,"reasoning_tokens":2786,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T19:33:40.734779+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}