Oℕ
продукт можно считать изоморфизмом
(A -> B, A -> C) и (A -> (B, C))Size: a a a
2018 May 25
Oℕ
слева у нас морфизм между Д(A) = (A, A) и каким-то объектом (B, C) из квадратной категории
Oℕ
а справа морфизм между
A и П((B, C))Oℕ
где П - это левосопряжённый с Д благораря этому изоморфизму фунтор
Oℕ
и существование такого сопряжения в точности равно определению продукта, поэтому "неприменённый" продукт можно считать вот этим изоморфизмом из сопряжения
AT
ок, вроде начинает проясняться, спасибо
NI
Можно сказать, что это ситуация с точки зрения "пределы, как сопряжённые функторы".
ЗП
продукт можно считать изоморфизмом
(A -> B, A -> C) и (A -> (B, C))ну тут как раз идея curry/uncurry и что-то еще
Oℕ
ну тут как раз идея curry/uncurry и что-то еще
мне кажется, curry - это куда-то либо в экспоненциальные объекты, либо в сопряжение продукта и хом-функтора
NI
мне кажется, curry - это куда-то либо в экспоненциальные объекты, либо в сопряжение продукта и хом-функтора
Это оно и есть, да.
Oℕ
А вот скажите такие категории, как например хаскелёвые контексты, т.е. thin category с идемпотентным продуктом, но которая всё-таки содержит стрелок больше, чем просто semilattice.
Есть у них название?
Есть у них название?
2018 May 27
NI
Project Scheduling and Copresheaves
Posted by Simon Willerton
https://golem.ph.utexas.edu/category/2013/03/project_planning_parallel_proc.html
#article
Posted by Simon Willerton
https://golem.ph.utexas.edu/category/2013/03/project_planning_parallel_proc.html
#article
2018 May 30
C
You have invited Combot to your chat. That's awesome! Send /stat command to get statistics link. Link is always the same. Subscribe to update feed, join our chat for discussion & support.
🦉
/stat
a
зачем
ЕО
Продавать таргетированную рекламу по теоркату
2018 May 31
P
а есть ли чатиг по теории типов?
ЕО
Есть чат по идрису, там более-менее онтопик
ЕО
У меня правда линка на него нет. Можно у @Comonoid спросить