Skip to main content
5 events
when toggle format what by license comment
Jul 20, 2018 at 14:49 answer added Tim Campion timeline score: 4
Jul 19, 2018 at 12:04 comment added Andrea Gagna As for the contracting homotopy, have a look at §4.5 of Riehl's book Categorical homotopy theory. The function $a \mapsto Fa$ they describe in the proof is precisely the extra degeneracy.
Jul 19, 2018 at 11:09 history edited IlaRossi CC BY-SA 4.0
added 1 character in body; added 1 character in body
Jul 19, 2018 at 10:39 review First posts
Jul 19, 2018 at 10:41
Jul 19, 2018 at 10:36 history asked IlaRossi CC BY-SA 4.0