Управляемый высшего порядка
В алгебре операда высшего порядка — это многомерное обобщение операды .
См. также
[ редактировать ]Ссылки
[ редактировать ]- Хойтс, Гийс; Хинич, Владимир; Мурдейк, Ике (2016). «Об эквивалентности модели Лурье и дендроидной модели для бесконечных операд» . Достижения в математике . 302 : 869–1043. arXiv : 1305.3658 . дои : 10.1016/j.aim.2016.07.021 . S2CID 119254588 .