DM
тензорное произведение - это просто функтор (C, C) -> C
(C,C) может быть как в категории C так и в другой, правильно?
Size: a a a
2018 March 31
Oℕ
(C,C) может быть как в категории C так и в другой, правильно?
(С, C) - это категория произведения C с самим собой
DM
(С, C) - это категория произведения C с самим собой
перефразирую
может же быть категория где есть объекты a, b и (a,b)?
может же быть категория где есть объекты a, b и (a,b)?
NI
(C,C) может быть как в категории C так и в другой, правильно?
Что такое обычное декартовое произведение, понятно?
Ну, туплы в функциональщине?
Ну, туплы в функциональщине?
DM
Что такое обычное декартовое произведение, понятно?
Ну, туплы в функциональщине?
Ну, туплы в функциональщине?
да
NI
перефразирую
может же быть категория где есть объекты a, b и (a,b)?
может же быть категория где есть объекты a, b и (a,b)?
Ну разумеется.
NI
Ну вот, это простой пример моноидальной категории.
NI
Обзови (a,b) как-то по-моноидальному ;-), как обычно, a⊗b
Oℕ
перефразирую
может же быть категория где есть объекты a, b и (a,b)?
может же быть категория где есть объекты a, b и (a,b)?
ну фишка в том, что вот этот (a, b) ты можешь определить разными способами, твой функтор как раз и помогает это сделать
NI
Гыыы
Моноидальная категория, это там, где можно перегружать оператор над типами (,)
;-) ;-)
Моноидальная категория, это там, где можно перегружать оператор над типами (,)
;-) ;-)
Oℕ
(С, С) - по умолчанию это особая категория, но если ты построишь из неё функтор, ты как раз и сможешь определить какой-то способ образовывать парные объекты и морфизмы
Oℕ
если про погроммирование любой бифунктор - это такая штука
DM
если про программирование, то это все эндофукнторы
но в общем случае "домен" функтора не обязан быть в той же категории?
но в общем случае "домен" функтора не обязан быть в той же категории?
Oℕ
если про программирование, то это все эндофукнторы
но в общем случае "домен" функтора не обязан быть в той же категории?
но в общем случае "домен" функтора не обязан быть в той же категории?
нет, не эндофунторы
Oℕ
у эндофунктора домен - исходная категория, параметр - один объект, а надо два
Oℕ
любой, грубо говоря, тип с двумя ковариантными дырками
Oℕ
Tuple2, Either, Ior, Const
Oℕ
вот четыре рызных способа определить такой функтор
DM
у эндофунктора домен - исходная категория, параметр - один объект, а надо два
вот я про это сейчас и пытаюсь понять
про то что произведение бинарная операция
и внятного (для меня) введения такой операции в ктегории я не видел
разве что через категорию произведений
про то что произведение бинарная операция
и внятного (для меня) введения такой операции в ктегории я не видел
разве что через категорию произведений