Timeline for Categories enriched in $(m,n)\text{-Cat}$ with Crans–Gray tensor product
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 30 at 14:59 | comment | added | K. Strong | @TimCampion I'm asking about strict higher categories. As for pseudo vs lax, I'm happy to get answers of either variety. My impression, though, was that only the lax version had been fully constructed. (Though if I understand correctly, there should be no distinction in the case $n=0$). | |
| Nov 30 at 6:17 | comment | added | Tim Campion | Are you asking about the lax Gray or pseudo Gray tensor product? Are your $(m,n)$-categories weak or strict? | |
| Nov 28 at 18:29 | history | edited | LSpice | CC BY-SA 4.0 |
$-\text{Cat}$ and sometimes just $\text{Cat}$ -> $\text{-Cat}$
|
| Nov 28 at 17:00 | history | asked | K. Strong | CC BY-SA 4.0 |