« first day (3072 days earlier)      last day (220 days later) » 

7:37 PM
I was trying to understand Lemma 1.4.2.15 of people.math.harvard.edu/~lurie/papers/HA.pdf but it seems to me that the statement is not correct in assumption (2), as the domain of \eta_{\Sigma_C(\tau)} is not the target of \theta_\tau. Am I missing something or should we add a loop?
 

« first day (3072 days earlier)      last day (220 days later) »