« first day (2429 days earlier)      last day (974 days later) » 

8:18 PM
@DenisNardin I recently made this for some reason: people.math.harvard.edu/~dwilson/notes/infty-tutorial.pdf , which I think gives a nice jaunt through some things you'd like to know after ~ch.1 of HTT and before presentable stuff. I might expand it as time goes on, and it's pretty rough but... maybe someone'll find it helpful
3
 
 
2 hours later…
10:08 PM
@DylanWilson I am intrigued by Theorem 1.7. Would you be able to direct me to a formal statement (and proof) of this theorem?
 
10:29 PM
@AdrianClough for the functoriality see Gepner-Haugseng-Nikolaus; for uniqueness use that [0] and [1] generate Cat_infty under colimits. (I don't know where to find a formal proof of the uniqueness part in the literature though)
 
@DylanWilson Ok, thanks!!
 

« first day (2429 days earlier)      last day (974 days later) »