Википедия
F-алгебра
В теории категорий F-алгебра — это алгебраическая структура, связанная с функтором F. F-алгебры можно использовать в программировании для представления структур данных , таких как списки и деревья.