Я изучаю основы теории категорий с Хаскелом, и хотел бы

Question

Я изучаю основы теории категорий с Хаскелом, и хотел бы

найти примеры функторов из категории конечных частично упорядоченных множеств. Что проишодит с начальными и терминальными елементами и в начальной категории (Посет) и после отображения. Также для графов если стрелка определяется только для одного элемента (который является
одним из конструкторов суммарного типа) а функции определяется на всем суммарном типе, какова практика суживания для стрелки. Я не хочу вводить более абстрактное и общее определение графов (чтобы работать с самыми простыми структурами). Также в функторе я проверяю отображается ли стрелка в элемент вообще и в противном случае опредяляю отображение в категорию функторов как Ничто. Вообще есть примеры работы с простейшими категориями?

#haskell #programming #russian

0

09.08.2023