Delooping 2-category

In the same way that a monoid can be viewed as a category with one object, a monoidal category can be viewed as a 2-category with one object. For a monoidal category $𝖢$ , the delooping bicategory $𝔅 𝖢$ is a bicategory with $𝔅 𝖢 0 = {∙}$ and $𝔅 𝖢 (∙, ∙) = 𝖢$ . The 1-composition is the tensor product, the 1-identity is the tensor unit, and the coherence natural isomorphisms are the same as those of the monoidal category. #m/def/cat/2

#state/develop | #lang/en | #SemBr