NI
истинно категорное имя
Вот как-то в категориях таки наблюдается какой-то стиль названий, что ли ;-)
Size: a a a
2018 May 25
к
современный типа?
NI
Я не знаю, как его назвать. Но что-то "такое вот" заметно ;-)
λ
костиль
AT
Это произведение двух морфизмов, да.
а с другой стороны, только полностью примененный
fork f g - это произведение морфизмов, а сам fork можно выразить категорно? и, если можно, то если у этой штуки стандартное имя?ЗП
хм, раз стрелки это strong profunctor (вроде) то это что-то связанное с профункторами)
NI
Ну, тут есть некоторые неточности в терминологии, но из контекста обычно всё понятно.
Что (a->b) x (c->d) тоже называют произведением морфизмов.
Что (a->b) x (c->d) тоже называют произведением морфизмов.
к
бифунктор?
NI
Не, про что спрашивают, это не бифунктор, тут же обе стрелки из x.
AT
бифунктор, если не ошибаюсь, будет мапить оба компонента пары независомо
Oℕ
а какая разница
Oℕ
применённый или не применённый?
AT
мне казалось, что в ТК должны быть выразительные средства для описания параметризованных конструкций
AT
или я просто рисую диаграмму с уже подставленными стрелками и ментально считаю их параметрами?
Oℕ
вообще продукт - это левосопряжённый с диагональным функтором
AT
(я пока еще не настоящий сварщик, хотелось бы интуицию построить в этой области, типа картину в целом)
Oℕ
ну есть диагональный фунтор
A -> (A, A)
Oℕ
между категорией и произведением категории с самой собой
Oℕ
думаю, понятно как он работает
AT
ага