To give credit where it's due, that diagram is from a /r/math thread: https://ww...

		throwawaymath on Feb 10, 2019 \| parent \| context \| favorite \| on: A monad is a monoid in the category of endofunctor... To give credit where it's due, that diagram is from a /r/math thread: https://www.reddit.com/r/math/comments/99y547/my_digram_of_a...