Timeline for Extended TFT with coefficients in spans in any $\infty$-topos
Current License: CC BY-SA 3.0
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 |