Finished monoids and endfucntors article