Difference between revisions of "Eilenberg-Moore algebra"
From Encyclopedia of Mathematics
m (AUTOMATIC EDIT (latexlist): Replaced 10 formulas out of 12 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.) |
m (Automatically changed introduction) |
||
| Line 2: | Line 2: | ||
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist | the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist | ||
was used. | was used. | ||
| − | If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category. | + | If the TeX and formula formatting is correct and if all png images have been replaced by TeX code, please remove this message and the {{TEX|semi-auto}} category. |
Out of 12 formulas, 10 were replaced by TEX code.--> | Out of 12 formulas, 10 were replaced by TEX code.--> | ||
| − | {{TEX|semi-auto}}{{TEX| | + | {{TEX|semi-auto}}{{TEX|part}} |
''Moore–Eilenberg algebra'' | ''Moore–Eilenberg algebra'' | ||
Revision as of 17:46, 1 July 2020
Moore–Eilenberg algebra
Given a monad (or triple) $T$ in a category $\mathcal{C}$, a $T$-algebra is a pair $( A , \alpha )$, $\alpha : T A \rightarrow A$, $A \in \mathcal{C}$, such that the diagram
 |
commutes. Such a $T$-algebra is also called an Eilenberg–Moore algebra. The forgetful functor from the category of Eilenberg–Moore algebras $\mathcal{C} ^ { T }$ to $\mathcal{C}$ has a left adjoint, exhibiting the monad $T$ as coming from a pair of adjoint functors (the Eilenberg–Moore construction).
See also Adjoint functor.
References
| [a1] | F. Borceux, "Handbook of categorical algebra: Categories and structures" , 2 , Cambridge Univ. Press (1994) pp. Chap. 4 |
How to Cite This Entry:
Eilenberg-Moore algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Eilenberg-Moore_algebra&oldid=49964
Eilenberg-Moore algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Eilenberg-Moore_algebra&oldid=49964
This article was adapted from an original article by M. Hazewinkel (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article