K-theory of monoids

We'll go about rigorously constructing the zeroth K-group group K_0(M) for a monoid M.