Timeline for The Gray tensor product as a Kan extension
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 24, 2016 at 14:20 | history | edited | Andrea Gagna | CC BY-SA 3.0 |
Added definition of a functor
|
| Oct 23, 2016 at 13:23 | comment | added | Andrea Gagna | The functor $\square \to \infty\text{-}\mathcal{C}at$ given by the parity complex is indeed not dense. But apparently its essential image is so! That's nice. Is it true also for the full subcategory of orientals? | |
| Oct 23, 2016 at 12:17 | comment | added | Alexander Campbell | Actually the cubes are dense in the category of strict $\infty$-categories (a.k.a. strict $\omega$-categories). This can be used to define the Gray tensor product of strict $\omega$-categories. See section 9 of Street's 'Categorical and combinatorial aspects of descent theory'. | |
| Oct 23, 2016 at 12:05 | comment | added | Edoardo Lanari | Cubes are not dense, or (equivalently) the cubical nerve is not fully faithful | |
| Oct 23, 2016 at 10:34 | history | edited | Andrea Gagna | CC BY-SA 3.0 |
added a comment
|
| Oct 22, 2016 at 18:19 | history | answered | Andrea Gagna | CC BY-SA 3.0 |