likewise monoid homomorphisms are just functors between single object categories imicungire y umutungo imeze neza uburumbuke bw u rwanda n ikizere