ресурс, который объясняет слова, используемые в Эдвард Kmett объектив пакет

Я пытаюсь прочитать документацию в Эдвард Kmett ' s объектив пакета. Я не знаком со многими используемыми терминами (профунктор, изоморфизм, мономорфный, контравариантный, бифунктор и т. д...)

Что было бы хорошим ресурсом, чтобы узнать некоторые из этого словаря, как он используется в этой библиотеке.

1 ответов


Это термины из теория категорий. Что касается ресурсов, Эд сам имеет предложения. Лично я поддерживаю его рекомендации Концептуальная Математика по Lawvere и Теория Категорий.