Что такое морфизмы zygo / meta /histo /para / futu / dyna / что угодно?

Question

Существует ли их список с примерами, доступными человеку, не обладающему обширными знаниями в области теории категорий?

Answer 1

Функциональное программирование с помощью Бананов, Линз, Конвертов и колючей проволоки (PDF) это тоже должно помочь.Обозначение станет немного запутанным, но, прочитав его несколько раз, вы должны быть в состоянии сократить этот ваш список.

Кроме того, взгляните на схемы рекурсии (архивировано) запись в блоге, блоггер планирует вскоре представить каждый из них по отдельности, так что, полагаю, возвращайтесь к нему регулярно.

Answer 2

Начните с изучения катаморфизмов;это самое легкое для понимания.Вы уже знаете одного: foldr!

Затем переходите к анаморфизмам (unfoldr) и параморфизмы.Только после этого переходите к другим статьям Википедии;к тому времени их будет легче понять.

Answer 3

Эдвард Кметт недавно опубликовал Практическое руководство по схемам рекурсии, может быть, это помогает?

Answer 4

Посмотрите слайд Тима Уильямса о схемах рекурсии здесь:

http://www.timphilipwilliams.com/slides.html

Они объясняют все *-морфизмы с мотивирующими примерами каждого из них.

Answer 5

Вот вам и начало: Категория Википедии "Схемы рекурсии".