add Monoid0 as Category0