Looking at Nat |Id,Id| for the category of M-Sets when M is a monoid and contrasting this with Nat |U,U| where U: M-Set to Set is the forgetful functor.
No download links available.
