Как я понял композиция это полугруппа ,но она не имеет

Question

единицу и поэтому не моноид?

0

11.11.2017

13 просмотров

Нет, имеет же. identity = x => x; compose(f, identity) == compose(identity, f) == f

0

11.11.2017

композиция не группа,потому что обратный не у всех есть

0

11.11.2017

Max Shammasov · Accepted Answer

нет, композиция - это (в ТК) композиция. Объединение нескольких переходов (вызовов функций) - в один

0

11.11.2017