| |||
|
|
> Операда вообще дурацкое понятие, видно, что американец придумал. И чем оно дурацкое? Самое простое из понятий, описывающих типы алгебр. Lawvere theories и монады страшнее. Нетривиальная часть теории категорий и ассоциативных алгебр должна обобщаться на операды, этим объясняя существующие уродливые комбинаторные конструкции в теории гомотопий. Добавить комментарий: |
|||