P
Но это же норма. Пример:
{a, b, c, {a, b, c}}
{a, b, c, {a, b, c}}
Я говорю о том, чтобы один объект в структуре был и тем, и тем
Size: a a a
2018 June 14
KV
Я говорю о том, чтобы один объект в структуре был и тем, и тем
Не понимаю, как описанный пример отличается от ситуации с категориями. Подкатегория - подмножество, объект - элемент, полная аналогия.
к
Я говорю о том, чтобы один объект в структуре был и тем, и тем
ну в примере же {a,b,c} и подмножество, и объект
P
Ну да, согласен, это и элемент и подмножество
P
Хотя меня все равно что-то триггерит, хз
P
Раньше нигде такого не видел
AG
а вот возник вопрос про происхождение названия "коммутативная диаграмма"
AG
@Comonoid предполагает что "коммутативная" здесь не про коммутативность операций, т.е. перестановку порядка операндов, а про коммутацию сетей - т.е. "сообщение" у "адресата" будет одно и то же вне зависимости от выбранного маршрута
D
Мне кажется, это от превого значения слов типа commute: https://en.oxforddictionaries.com/definition/commute
DM
Мне кажется, это от превого значения слов типа commute: https://en.oxforddictionaries.com/definition/commute
Алекс про тоже говорит, вопрос в том что является этими двумя вещами.
к
@Comonoid предполагает что "коммутативная" здесь не про коммутативность операций, т.е. перестановку порядка операндов, а про коммутацию сетей - т.е. "сообщение" у "адресата" будет одно и то же вне зависимости от выбранного маршрута
не только он предполагает, так везде пишут вроде
Oℕ
не только он предполагает, так везде пишут вроде
а где, например?
к
Не вспомню, но навскидку скажу, что все источники, то есть бартош, "камар", википедия, мелкие статьи
к
никогда не слышал, что "коммутативную диаграмму" связывали с коммутативностью операций
AG
никогда не слышал, что "коммутативную диаграмму" связывали с коммутативностью операций
https://en.wikipedia.org/wiki/Commute
посмотрите где стоят "Commutative diagram"
посмотрите где стоят "Commutative diagram"
NI
AG
ну там дано определение, а про то откуда взялось слово нет ничего
NI
Denis дал ссылку на словарь ;-)
2018 June 19
NI
Categorical notions of fibration
Fosco Loregian, Emily Riehl
Fibrations over a category B, introduced to category theory by Grothendieck, encode pseudo-functors B^op⇝Cat, while the special case of discrete fibrations encode presheaves B^op→Set.
A two-sided discrete variation encodes functors B^op×A→Set, which are also known as profunctors from A to B.
By work of Street, all of these fibration notions can be defined internally to an arbitrary 2-category or bicategory.
While the two-sided discrete fibrations model profunctors internally to Cat, unexpectedly, the dual two-sided codiscrete cofibrations are necessary to model V-profunctors internally to V-Cat.
https://arxiv.org/abs/1806.06129
#paper
Fosco Loregian, Emily Riehl
Fibrations over a category B, introduced to category theory by Grothendieck, encode pseudo-functors B^op⇝Cat, while the special case of discrete fibrations encode presheaves B^op→Set.
A two-sided discrete variation encodes functors B^op×A→Set, which are also known as profunctors from A to B.
By work of Street, all of these fibration notions can be defined internally to an arbitrary 2-category or bicategory.
While the two-sided discrete fibrations model profunctors internally to Cat, unexpectedly, the dual two-sided codiscrete cofibrations are necessary to model V-profunctors internally to V-Cat.
https://arxiv.org/abs/1806.06129
#paper
2018 June 22
P
Я правильно понимаю, что g и h из диаграммы образуют пару (g,h)=f?