Formal Definition
If is a category, a monad on consists of a functor together with two natural transformations: (where denotes the identity functor on ) and (where is the functor from to ). These are required to fulfill the following conditions (sometimes called coherence conditions):
- (as natural transformations );
- (as natural transformations ; here denotes the identity transformation from to ).
We can rewrite these conditions using following commutative diagrams:
See the article on natural transformations for the explanation of the notations and, or see below the commutative diagrams not using these notions:
The first axiom is akin to the associativity in monoids, the second axiom to the existence of an identity element. Indeed, a monad on can alternatively be defined as a monoid in the category whose objects are the endofunctors of and whose morphisms are the natural transformations between them, with the monoidal structure induced by the composition of endofunctors.
Read more about this topic: Monad (category Theory)
Famous quotes containing the words formal and/or definition:
“The spiritual kinship between Lincoln and Whitman was founded upon their Americanism, their essential Westernism. Whitman had grown up without much formal education; Lincoln had scarcely any education. One had become the notable poet of the day; one the orator of the Gettsyburg Address. It was inevitable that Whitman as a poet should turn with a feeling of kinship to Lincoln, and even without any association or contact feel that Lincoln was his.”
—Edgar Lee Masters (1869–1950)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)