Я пытаысь представить простые категории через их эквивалент в категории

Question

Я пытаысь представить простые категории через их эквивалент в категории

графов. Важнейшей функцией в таком представлении является отображение стрелок (Homset) в начальные и конечные объекты (Source Target). Я пытаысь использывать Haskell библиотеку Data.Graph, но она построена на функции отображающей объект (вершина) в список объектов, куда направлена стрелка. Есть ли другая библиотека Haskell, которая ближе к определению категорий через графы? Или может у кого код завалялся, который делает это?

0

21.08.2023

1 ответов

24 просмотра

A M · Accepted Answer

A M

Хом множество совершенно не обязано состоять из одного морфизма. Есть виде пакет category, хотя зачем это нужно не совсем понятно. И вообще это сильно напоминает xy проблему.

0

21.08.2023

Похожие чаты

Я пытаысь представить простые категории через их эквивалент в категории

1 ответов

Похожие вопросы