Timeline for Equivalent parallel pair of $j$-morphisms
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 7, 2021 at 12:29 | vote | accept | user267839 | ||
| Jul 16, 2020 at 19:59 | comment | added | Aurelio | Further to @varkor's answer, I would recommend playing around with a homotopy-oriented proof assistant, for example Globular: it is an excellent way to acquire a hands-on intuition of "being equivalent up to higher cells". You can find a tutorial video for Globular by Jamie Vicary. | |
| Jul 16, 2020 at 12:18 | comment | added | Aurelio | Addition to the meta note: also the category theory zulip community might be a good place to ask. | |
| Jul 16, 2020 at 11:59 | history | answered | varkor | CC BY-SA 4.0 |