Timeline for Definition A.3.1.5 of Higher Topos Theory
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 11, 2019 at 11:28 | vote | accept | Frank Kong | ||
| Mar 11, 2019 at 10:17 | history | became hot network question | |||
| Mar 11, 2019 at 9:15 | answer | added | Stefano Ariotta | timeline score: 5 | |
| Mar 11, 2019 at 9:09 | comment | added | Denis Nardin | I suspect Lurie is using implicitly the lax monoidal forgetful functor $\mathrm{Hom}_{\mathbf{S}}(1_{\mathbf{S}},-):\mathbf{S}→\mathrm{Set}$, although I'll confess I never really thought about it (but this gives the sensible choice of forgetful functor for both simplicial sets and chain complexes). | |
| Mar 11, 2019 at 8:58 | history | edited | Francesco Polizzi | CC BY-SA 4.0 |
added 10 characters in body
|
| Mar 11, 2019 at 8:40 | history | asked | Frank Kong | CC BY-SA 4.0 |