Skip to main content
3 events
when toggle format what by license comment
Oct 21, 2014 at 12:05 answer added Urs Schreiber timeline score: 4
Oct 20, 2014 at 10:48 comment added Urs Schreiber I should maybe say that the idea would be to use naturality of the equivalences in the case of $\infty$-groupoids to reduce the desired equivalence in the case of general $\mathbf{H}$ to a presheaf of equivalences and then conclude from that.
Oct 18, 2014 at 21:42 history asked Urs Schreiber CC BY-SA 3.0