Definition of a monad

This rather rendundant post serves as a test case for the WP LaTeX plugin.

A monad M on a category \mathcal{C} is given by an endofunctor T : \mathcal{C} \rightarrow \mathcal{C} and two natural transformations:

  • \eta : \mathrm{id}_\mathcal{C} \rightarrow T
  • \mu : T^2 \rightarrow T

such that the following two diagrams commute:

Monad commutative diagram 1Monad commutative diagram 2

This entry was posted in Mathematics and tagged , . Bookmark the permalink.

Leave a Reply

Your email address will not be published.

This site uses Akismet to reduce spam. Learn how your comment data is processed.