Monoid in the category of endofunctors

category theory stuff, testing to see how math posts look. test writing to take up space on the page, random words to make it look like a real post.