Timeline for Which free strict $\omega$-categories are also free as weak $(\infty,\infty)$-categories?
Current License: CC BY-SA 4.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Mar 2, 2020 at 4:56 | comment | added | Harry Gindi | So actually, this problem shows up when you try to use Barwick-Schommer-Pries to show that saturated weak complicial sets satisfy their axioms. | |
Mar 2, 2020 at 4:31 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 225 characters in body
|
Mar 2, 2020 at 4:24 | history | answered | Simon Henry | CC BY-SA 4.0 |