Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
monad [2015/02/17 18:47] nikolaj |
monad [2015/02/17 18:48] nikolaj |
||
|---|---|---|---|
| Line 32: | Line 32: | ||
| == Algebraic characterization == | == Algebraic characterization == | ||
| - | Recall that $\bf{Set}$ can be equipped with a monoidal structure where units are singletons (= final objects in $\bf{Set}$, e.g. $1:=\{0\}$) and the product $\otimes$ can be taken to be the Cartesian product $M\otimes N:=M\times N$ (= categorical product for $\bf{Set}$). Here, a monoid object is triple given by | + | Recall that $\bf{Set}$ can be equipped with a monoidal structure where units are singletons (= final objects in $\bf{Set}$, e.g. $1:=\{0\}$) and the product $\otimes$ can be taken to be the Cartesian product $M\otimes N:=M\times N$ (= categorical product for $\bf{Set}$). Here, a monoid object is a triple given by |
| $M$, | $M$, | ||
