V
Хм.. но в ТТ и отт это всё-таки неверно.
Size: a a a
2019 October 08
ЕО
Для меня неочевидно, что в OTT это неверно
V
Ну а почему это должно быть верно? Я, конечно, не проверял, но предполагаю, что как и в теории множеств можно доказать, что это утверждение эквивалентно AC.
2019 October 09
TR
у кого-нибудь есть возможность рецензию на статью написать?
TR
Leveraging Category Theory in Model Based Enterprise
NI
Как всем известно, широко распостранённый язык C++ развивается и всё больше поддерживает функциональное программирование.
Имеет гибкую систему шаблонов, позволяющих реализовать, что угодно!
Концепции языка "функционализируются" огромными темпами, что аж side effect-ы скоро могут и запретить!
Добро пожаловать в чат, посвящённый описанию теории категорий на C++, используя самые современные концепции языка!
https://t.me/categories_plusplus
Имеет гибкую систему шаблонов, позволяющих реализовать, что угодно!
Концепции языка "функционализируются" огромными темпами, что аж side effect-ы скоро могут и запретить!
Добро пожаловать в чат, посвящённый описанию теории категорий на C++, используя самые современные концепции языка!
https://t.me/categories_plusplus
Oℕ
Leveraging Category Theory in Model Based Enterprise
а как найти статью?
Oℕ
Не то, чтобы я прочу себя в рецензенты, просто интересно
ЕО
Вообще я бы тоже препринт почитал (но регалий, чтобы рецензировать, у меня нет)
TR
я пришлю, если интересно
TR
там анонимно
TR
если возьметесь, пришлите мне почту, вышлю приглашение от журнала
ЕО
Я заранее нет, извините. Максимум — выскажу мысли в личку (если хватит сил и времени прочитать)
2019 October 10
OP
ну вот если у меня есть какой-то функтор, который отправляет объекты в стрелки, то стрелки он должен отправить в "стрелки между стрелками"
Функтор не отправляет объекты в стрелки
Функтор отправляет объекты в объекты и стрелки в стрелки
Например, функтор
Функтор отправляет объекты в объекты и стрелки в стрелки
Например, функтор
Reader r в отправит объект a категории Set в объект Hom(r, a) категории SetA
Ну да. Но что такое "стрелка" между Hom(r, a) и Hom(r, b)?
OP
Ну да. Но что такое "стрелка" между Hom(r, a) и Hom(r, b)?
Имеешь в виду, что данный функтор сделает со стрелкой?
A
Стрелку f: a->b он отправит в некоторую другую стрелку Reader r f: Hom(r, a) -> Hom(r, b)
OP
Ну да. Но что такое "стрелка" между Hom(r, a) и Hom(r, b)?
Hom(x, y) это обычные объекты в категории Set
A
такую, что для любого h из Hom(r, a) будет Reader r f h = f . h (живущая в Hom(r, b))
A
вот когда я вот это все расписал, тогда в голове что-то уложилось