the set of strict monoidal factorizations of \(F\) through \(\mathrm{ev}_{1_{\mathcal A}} \colon Z(F) \rightarrow\mathcal B\), i.e. the set of monoidal functors \(s\colon \mathcal A\rightarrow Z(F)\) such that \(\mathrm{ev}_{1_{\mathcal A}} \circ s=F\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2