Timeline for Presentability rank of tensor product of presentable categories
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 8 at 15:17 | comment | added | Z. M | More systematically, let $\mathcal K\subseteq\mathcal K'$ be collections of simplicial sets, then the functor $\mathcal P_{\mathcal K}^{\mathcal K'}\colon\operatorname{Cat}_\infty(\mathcal K)\to\operatorname{Cat}_\infty(\mathcal K')$ carries a symmetric monoidal structure (HA 4.8.1.8). | |
| Mar 8 at 3:34 | comment | added | Maxime Ramzi | It's a very convenient trick :) going between large and small worlds sounds completely formal (and it is) but it is a very robust technique somehow | |
| Mar 8 at 3:32 | comment | added | Brendan Murphy | Oh wow, thanks again! I should've thought to use the Lurie tensor product for $\kappa$-small colimits | |
| Mar 8 at 3:30 | vote | accept | Brendan Murphy | ||
| Mar 8 at 3:29 | history | answered | Maxime Ramzi | CC BY-SA 4.0 |