Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeMar 10th 2016
   • (edited Mar 10th 2016)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have split off an entry _[[classical model structure on simplicial sets]]_ from "model structure on simplicial set". This entry should eventually contain detailed, self-contained and polished discussion of the definition, verification and key properties of the standard Kan-Quillen model structure. So far I have inserted fair bit of background material regarding (minimal) fibrations and geometric realizations, essentially the material in chapter 1 of Goerss-Jardine. A bunch of little proofs are spelled out, but not yet the more laborious ones. Discussion of the verification of the axioms is not yet in the entry, but the key parts of the Quillen equivalence to $Top_{Quillen}$ are (modulo relying on previous lemmas that don't have proofs spelled out yet). The somewhat random list of properties of $sSet_{Quillen}$ that used to be sitting at "model structure on simplicial sets" I have copied over to a section "Basic properties", just for completenes, but this now needs re-organization to give decent logical flow. For the moment I have to leave it at that, need to take care of something else now for a little bit.

   I have split off an entry classical model structure on simplicial sets from “model structure on simplicial set”. This entry should eventually contain detailed, self-contained and polished discussion of the definition, verification and key properties of the standard Kan-Quillen model structure.

   So far I have inserted fair bit of background material regarding (minimal) fibrations and geometric realizations, essentially the material in chapter 1 of Goerss-Jardine. A bunch of little proofs are spelled out, but not yet the more laborious ones. Discussion of the verification of the axioms is not yet in the entry, but the key parts of the Quillen equivalence to $Top_{Quillen}$ are (modulo relying on previous lemmas that don’t have proofs spelled out yet).

   The somewhat random list of properties of $sSet_{Quillen}$ that used to be sitting at “model structure on simplicial sets” I have copied over to a section “Basic properties”, just for completenes, but this now needs re-organization to give decent logical flow.

   For the moment I have to leave it at that, need to take care of something else now for a little bit.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeMar 18th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded precise relevant section number and also full publication data for * [[Israel Gelfand]], [[Yuri Manin]], Section V.1 of _[[Methods of Homological Algebra]]_, transl. from the 1988 Russian (Nauka Publ.) original, Springer 1996. xviii+372 pp. 2nd corrected ed. 2002 ([doi:10.1007/978-3-662-12492-5](https://doi.org/10.1007/978-3-662-12492-5)) and added links to the electronic version of * [[André Joyal]], [[Myles Tierney]] _An introduction to simplicial homotopy theory_, 2005 ([chapter I](http://hopf.math.purdue.edu/cgi-bin/generate?/Joyal-Tierney/JT-chap-01), more notes [pdf](http://mat.uab.cat/~kock/crm/hocat/advanced-course/Quadern47.pdf)) <a href="https://ncatlab.org/nlab/revision/diff/classical+model+structure+on+simplicial+sets/18">diff</a>, <a href="https://ncatlab.org/nlab/revision/classical+model+structure+on+simplicial+sets/18">v18</a>, <a href="https://ncatlab.org/nlab/show/classical+model+structure+on+simplicial+sets">current</a>

   added precise relevant section number and also full publication data for

   • Israel Gelfand, Yuri Manin, Section V.1 of Methods of Homological Algebra, transl. from the 1988 Russian (Nauka Publ.) original, Springer 1996. xviii+372 pp. 2nd corrected ed. 2002 (doi:10.1007/978-3-662-12492-5)

   and added links to the electronic version of

   • André Joyal, Myles Tierney An introduction to simplicial homotopy theory, 2005 (chapter I, more notes pdf)

   diff, v18, current

3. • CommentRowNumber3.
   • CommentAuthorDavidRoberts
   • CommentTimeMar 18th 2021
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexJust so you know, the "more notes pdf" link is broken.

   Just so you know, the “more notes pdf” link is broken.

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeMar 19th 2021
   • (edited Mar 19th 2021)
   • PermaLink
   Author: Urs
   Format: MarkdownItexSo I cleaned up this mess and have hosted the files now on the nLab server: * [[André Joyal]], [[Myles Tierney]], _Notes on simplicial homotopy theory_, Lecture at _[Advanced Course on Simplicial Methods in Higher Categories](https://lists.lehigh.edu/pipermail/algtop-l/2007q4/000017.html)_, CRM 2008 ([pdf](https://ncatlab.org/nlab/files/JoyalTierneyNotesOnSimplicialHomotopyTheory.pdf)) * [[André Joyal]], [[Myles Tierney]], _An introduction to simplicial homotopy theory_, 2009 ([web](http://hopf.math.purdue.edu/cgi-bin/generate?/Joyal-Tierney/JT-chap-01), [pdf](https://ncatlab.org/nlab/files/JoyalTierneySimplicialHomotopyTheory.pdf)) It looks like at CRM in 2008 they were lacking somebody with a little familiarity with the internet: The authors don't date their pdf-s and don't cite the event they are contributions to; while the organizers either don't host the documents, or where they do, don't ensure that the hosting is stable. <a href="https://ncatlab.org/nlab/revision/diff/classical+model+structure+on+simplicial+sets/19">diff</a>, <a href="https://ncatlab.org/nlab/revision/classical+model+structure+on+simplicial+sets/19">v19</a>, <a href="https://ncatlab.org/nlab/show/classical+model+structure+on+simplicial+sets">current</a>

   So I cleaned up this mess and have hosted the files now on the nLab server:

   • André Joyal, Myles Tierney, Notes on simplicial homotopy theory, Lecture at Advanced Course on Simplicial Methods in Higher Categories, CRM 2008 (pdf)

   • André Joyal, Myles Tierney, An introduction to simplicial homotopy theory, 2009 (web, pdf)

   It looks like at CRM in 2008 they were lacking somebody with a little familiarity with the internet: The authors don’t date their pdf-s and don’t cite the event they are contributions to; while the organizers either don’t host the documents, or where they do, don’t ensure that the hosting is stable.

   diff, v19, current

5. • CommentRowNumber5.
   • CommentAuthorDavidRoberts
   • CommentTimeMar 19th 2021
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexThanks! I had no idea where to start on that one.

   Thanks! I had no idea where to start on that one.

6. • CommentRowNumber6.
   • CommentAuthorDmitri Pavlov
   • CommentTimeMar 19th 2021
   • PermaLink
   Author: Dmitri Pavlov
   Format: MarkdownItexAdded: Constructive proofs can be found in * [[Simon Henry]], _A constructive account of the Kan-Quillen model structure and of Kan's Ex∞ functor_, [arXiv:1905.06160](https://arxiv.org/abs/1905.06160). * [[Nicola Gambino]], [[Simon Henry]], [[Christian Sattler]], [[Karol Szumiło]], _The effective model structure and ∞-groupoid objects_, [arXiv:2102.06146](https://arxiv.org/abs/2102.06146). <a href="https://ncatlab.org/nlab/revision/diff/classical+model+structure+on+simplicial+sets/20">diff</a>, <a href="https://ncatlab.org/nlab/revision/classical+model+structure+on+simplicial+sets/20">v20</a>, <a href="https://ncatlab.org/nlab/show/classical+model+structure+on+simplicial+sets">current</a>

   Added:

   Constructive proofs can be found in

   • Simon Henry, A constructive account of the Kan-Quillen model structure and of Kan’s Ex∞ functor, arXiv:1905.06160.

   • Nicola Gambino, Simon Henry, Christian Sattler, Karol Szumiło, The effective model structure and ∞-groupoid objects, arXiv:2102.06146.

   diff, v20, current