Похожие чаты

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

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

2 ответов

38 просмотров

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

Евгений Омельченко
Привет! Честно говоря, не очень понятен вопрос. Н...

Ну если брать класс типов Category то получается какая-то шняга.

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

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
@Benzenoid can you tell me the easiest, and safest way to bu.y HEX now?
Živa Žena
20
This is a question from my wife who make a fortune with memes 😂😂 About the Migration and Tokens: 1. How will the old tokens be migrated to the new $LGCYX network? What is th...
🍿 °anton°
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
What is the Dex situation? Agora team started with the Pnetwork for their dex which helped them both with integration. It’s completed but as you can see from the Pnetwork ann...
Ben
1
Гайс, вопрос для разносторонее развитых: читаю стрим с юарта, нада выделять с него фреймы с определенной структурой, если ли чо готовое, или долбаться с ринг буффером? нада у...
Vitaly
9
Anyone knows where there are some instructions or discort about failed bridge transactions ?
Jochem
21
@lozuk how do I get my phex copies of my ehex from a atomic wallet, to move to my rabby?
Justfrontin 👀
11
Карта сайта