« first day (2562 days earlier)      last day (33 days later) » 

8:30 AM
@AdrianClough Oh, I thought that said commutativity was what we were trying to prove, but now that I read Tim's question more closely I see that he was asking something slightly different so I agree with your argument
 
 
11 hours later…
7:16 PM
I'm still looking for an account of classical obstruction theory for simplicial sets. The reference @OmarAntolín-Camarena gave me doesn't actually prove that the obstruction cocycle is actually a cocycle (it's "obvious").
 
 
2 hours later…
8:58 PM
@CharlesRezk Oh, sorry! I should have reread it rather than relying on memory.
 

« first day (2562 days earlier)      last day (33 days later) »