Definition of a monad

Posted on 2011/01/24 by Thomas Strathmann

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. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>