Timeline for Mapping space between $n$-groupoids is an $n$-groupoid
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 22, 2023 at 19:14 | comment | added | Jon Pridham | Take $Y$ to be a point and observe that the condition is satisfied by $A \times \Lambda^{m,k} \to A \times \Delta^m$ for $m>n$ and arbitrary $A$. | |
| Mar 21, 2023 at 18:55 | comment | added | SetR | @JonPridham after thinking for some time, I do not see how it should follow from Lemma 2.14, either. Could you elaborate a bit? | |
| Mar 13, 2023 at 16:52 | comment | added | Chenchang Zhu | Jon, why would Lemma 2.14 help? I didn't get it.. | |
| Mar 10, 2023 at 21:25 | comment | added | Kevin Carlson | You can also find (2) as a special case of 2.3.4.7-8 in Higher Topos Theory, which proves the analogous result for $n$-categories. | |
| Mar 10, 2023 at 19:44 | comment | added | Jon Pridham | (2) follows from Lemma 2.14 of arxiv.org/abs/0905.4044 , but there may well be earlier references. | |
| S Mar 10, 2023 at 16:58 | review | First questions | |||
| Mar 10, 2023 at 17:03 | |||||
| S Mar 10, 2023 at 16:58 | history | asked | SetR | CC BY-SA 4.0 |