Editing Monad (category theory) (section)

==== Algebras over the free group monad ====
For example, for the free group monad discussed above, a <math>T</math>-algebra is a set <math>X</math> together with a map from the free group generated by <math>X</math> towards <math>X</math> subject to associativity and unitality conditions. Such a structure is equivalent to saying that <math>X</math> is a group itself.