[tiddles]

It is, after all, just a monoid in the category of endofunctors.

[olalonde]

Thanks, it all clicked now.

[WoahNoun]

This is a famous quote from the first real book on category theory. "Categories for the Working Mathematician" by Saunders Mac Lane.