Категория термов это и есть тип

хм

я думал, что если у нас есть один эндоморфизм-функция toUpper в Hask, то в категории Char это выльется в множество стрелок вида 'a' -> 'A', 'b' -> 'B', так и в константые стрелки типа forall a. a -> 'π'

Почему это toUpper в Hask? Ну и forall'а, конечно, внутри Char не будет никакого. Если занудствовать, то есть два естественных способа построить категорию термов: "денотационную" и "аксиоматическую".
В денотационной у тебя в качестве термов будет боттом, нуль-арные конструкторы, а также их комбинации под конструкторами более высокой арности (например объект Just _|_). Это будет характерный для боттомов порядок.
Для аксиоматической объектами будут все типизирующиеся термы, а стрелки -- редукции из одного терма в другой.
Может я ошибаюсь, но хз у кого спросить

я думал тут ТК, а тут хаскель тоже

пф

Найди мне в телеграме чуваков, которых интересует теор.кат вне привязки к хаскелю

если без привязки к телеграму, то знаю таких больше одного

без привязки к телеграму таких уйма

правда мои такие знакомые по русски не разговаривают

ну у вас и ограничения

телеграм, по русски (

у меня есть нерусские пользователи в телеграмме!

1 шт

нерусский это слово такое?)

в русском языке есть такое слово

<grammar_nazi>но тут использовано неверно было</grammar_nazi>

Конечно уйма. Я сам теорию категорий стал изучать на мат-мехе, а только она меня к хаскелю привела, лiл.
Но тут чатик в телеграме...

действительно...
удивительно и очень интересно как оно затесалось в язык

Вообще было бы круто, если тут появился кто-нибудь, кто в теоркате нормально шарит