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 .