Гиломорфизм (информатика)
Гиломорфизм (информатика) Определение гиломорфизма Гиломорфизм – это отображение, которое отображает элементы одного множества в элементы другого множества, сохраняя при этом […]
Вики
Recursion schemes
Вики
Анаморфизм
Анаморфизм Определение анаморфизма Анаморфизм – функция, генерирующая последовательность, повторяя применение к предыдущему результату. Начальное значение A применяется к функции f,
Вики
Катаморфизм
Катаморфизм Определение катаморфизма Катаморфизм – это гомоморфизм, который обобщает свертки списков на алгебраические типы данных. Анаморфизм – это обобщение, обратное