Unit law for a monad algebra ( $a η_{X} = 1_{X}$ )

For an algebra for a monad

(X, a)

a : TX \to X

satisfies

a η_{X} = 1_{X}

.

 Ancestors (7)

 Incoming links (3)

Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 22 / 6 / a / Solution
Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 22 / 6 / c / iii / Solution
Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 122 / 2 / b / Solution

 View article source

 Discussion (0)

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.

  See all articles in the same topic Create my own version