Proof.
Since \(h_1 \colon \mathrm{Cat}_{(\infty, {2})}\rightarrow\mathrm{Cat}_{({1}, {1})}\) is (strongly) symmetric monoidal, this follows directly from corollary 5.5.7. ◻
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2
Proof.
Since \(h_1 \colon \mathrm{Cat}_{(\infty, {2})}\rightarrow\mathrm{Cat}_{({1}, {1})}\) is (strongly) symmetric monoidal, this follows directly from corollary 5.5.7. ◻
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2