“Alternatively, the fundamental notion of category theory is that of a Monoid”