Hacker News Reader

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

Thanks, it all clicked now.

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