В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Теория категорий

559 membersпожаловаться на группу
2019 December 02

МБ

Михаил Бахтерев in Теория категорий
Oleg ℕizhnik
В общем случае на стримах с эффектами\асинхронных\конкурентных\распределённых вроде и не получается нормального декартова произведения.
Там обычно строится моноидальная категория с несколькими произведениями
Да. Но это же вполне конкретные стримы
источник
12:30пожаловаться#1

LB

Let Eat Bee in Теория категорий
Хм, в книжке пишут, что для любой категории всегда  есть обратная, где объекты те же, а морфизмы наоборот. Как это работает для начальных и терминальных объектов скажем в категории сетов?
источник
12:48пожаловаться#2

Oℕ

Oleg ℕizhnik in Теория категорий
так и работает, начальный в С становится терминальным в С_op и наоборот
источник
12:50пожаловаться#3

Oℕ

Oleg ℕizhnik in Теория категорий
Пустое множество - терминальный объект в категории Set_op например
источник
12:51пожаловаться#4

G(

GNU/😈👾Scriptod👾😈 ( λ ) in Теория категорий
Wag1
источник
12:52пожаловаться#5

LB

Let Eat Bee in Теория категорий
Oleg ℕizhnik
Пустое множество - терминальный объект в категории Set_op например
Но как?
источник
12:52пожаловаться#6

G(

GNU/😈👾Scriptod👾😈 ( λ ) in Теория категорий
Я думал тут вместо простой капчи будет уравнение какое
источник
12:52пожаловаться#7

Oℕ

Oleg ℕizhnik in Теория категорий
Let Eat Bee
Но как?
В каком смысле, как?
источник
12:52пожаловаться#8

LB

Let Eat Bee in Теория категорий
Раз объекты те же, как пустой сет может быть терминальным?
источник
12:54пожаловаться#9

NI

Nick Ivanych in Теория категорий
Let Eat Bee
Раз объекты те же, как пустой сет может быть терминальным?
Ну вот обычный терминальный обзект, есть единственная стрелка до него.
А теперь, мы эти стрелки повернули в обратную сторону.
Там получается, что эта единственная стрелка не до него, а от него!
источник
12:57пожаловаться#10

ЕО

Евгений Омельченко in Теория категорий
Let Eat Bee
Раз объекты те же, как пустой сет может быть терминальным?
Тут нужно включить интуицию "категория это ориентированный граф с операцией на рёбрах"
источник
12:57пожаловаться#11

LB

Let Eat Bee in Теория категорий
Терминальный объект в нормальной категории это unit , так? Переворачиваем и оно становится начальным объектом, но такие морфизмы не имеют смысла же, как из одного unit могут быть стрелки во все другие множества?
источник
13:01пожаловаться#12

ЕО

Евгений Омельченко in Теория категорий
Let Eat Bee
Терминальный объект в нормальной категории это unit , так? Переворачиваем и оно становится начальным объектом, но такие морфизмы не имеют смысла же, как из одного unit могут быть стрелки во все другие множества?
Ну ты же стрелки все перевернул, оно перестало быть unit'ом
источник
13:02пожаловаться#13

S

Sergey in Теория категорий
Или осталось юнитом но стрелки перестали быть функциями? 😳
источник
13:03пожаловаться#14

LB

Let Eat Bee in Теория категорий
Sergey
Или осталось юнитом но стрелки перестали быть функциями? 😳
Вот, юнит это же про количество элементов, а не про стрелки.
источник
13:04пожаловаться#15

ЕО

Евгений Омельченко in Теория категорий
Let Eat Bee
Вот, юнит это же про количество элементов, а не про стрелки.
Ну никаких элементов в теории катеорий нет, точнее есть два определения элементов: как классов эквивалентности всех стрелок в объект A, или как стрелки * -> A,
источник
13:07пожаловаться#16

ЕО

Евгений Омельченко in Теория категорий
То есть сами по себе стрелки это обобщения понятия элемента
источник
13:07пожаловаться#17

YS

Yuriy Syrovetskiy in Теория категорий
стрелки A -> B в Set_op — это просто функции B -> A?
источник
13:08пожаловаться#18

ЕО

Евгений Омельченко in Теория категорий
Yuriy Syrovetskiy
стрелки A -> B в Set_op — это просто функции B -> A?
Ну да
источник
13:08пожаловаться#19

LB

Let Eat Bee in Теория категорий
Евгений Омельченко
Ну никаких элементов в теории катеорий нет, точнее есть два определения элементов: как классов эквивалентности всех стрелок в объект A, или как стрелки * -> A,
Да,но если знать , что категория не какая-то там, а множеств, то можно смотреть на эти стрелки и увидеть функции  , так? Стрелки в обратной категории множеств,  что означают тогда?
источник
13:08пожаловаться#20