Delooping of a Monoid

The delooping of a Monoid M 𝑀 M , denoted 𝐁 ⁢ M 𝐁 𝑀 \mathbf{B}M is a Category consisting of a single formal object ∙ ∙ \bullet , and an endomorphism m : ∙ → ∙ m:\bullet\to\bullet for each m : M : 𝑚 𝑀 m:M .