Monad structure on a terminal endofunctor

ID: monad-structure-on-a-terminal-endofunctor

Let a full subcategory of the endofunctor category contain the identity, be closed under composition, and have terminal object . Then has a unique monad structure: the unit and multiplication are the unique maps to the terminal object. The monad laws hold because each compares two maps with codomain from the same object.

New to topics? Read the docs here!