The unit of the adjunction ([00D4]) is a monoidal \(\mathrm{add}_{k}^{B\mathbb{Z}}\)-enriched \((\infty,2)\)-functor \[ \mathrm{Sbim}\rightarrow{\mathbf K}^b_{\mathrm{loc}}(\mathrm{Sbim}).\]
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2