Delooping of a Monoidal Category
Let be a Monoidal Category. The delooping of , denoted , is the single object Bicategory where
- 1-Cells are objects of
- 2-Cells are morphisms
Let be a Monoidal Category. The delooping of , denoted , is the single object Bicategory where