Алгебраические операды: определения и методы работы

Алгеброй обычно называется множество с каким-то набором операций на нем, удовлетворяющим некоторым естественным законам. Если забыть про множество и рассматривать только операции на нем, то полученный объект называется операдой.
Я дам обзорный доклад, в котором будет дано формальное определение операды, приведены примеры, рассказаны методы работы с ними и немного приложений.