Timeline for Projective objects in HTT
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 7, 2014 at 19:06 | vote | accept | fosco | ||
| Nov 6, 2013 at 15:40 | comment | added | Omar Antolín-Camarena | I think that Lure, as is more standard, uses the term "geometric realization" only for simplicial objects, not cosimplicial ones. (The standard term for a more or less similar thing for cosimplicial objects is "totalization".) | |
| Nov 6, 2013 at 11:54 | answer | added | Jacob Lurie | timeline score: 17 | |
| Nov 6, 2013 at 11:54 | comment | added | Mauro Porta | A comment about Remark 5.5.8.5: if you look at Notation 6.1.2.12, he kinda gives a definition of geometric realization of a simplicial object, which might be a bit different from the one you were expecting. However, it should be clear why this generalizes the formation of reflexive coequalizers (and so why the notion of projective object is a generalization of the usual one that can be found for example in Quillen's Homotopical Algebra). | |
| Nov 6, 2013 at 11:23 | history | asked | fosco | CC BY-SA 3.0 |