Size: a a a

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

2020 February 25

Oℕ

Oleg ℕizhnik in Теория категорий
Lazzlo 🇷🇺
просто опять же, окей 1 -(f)-> 2 -(f)-> 3, где f = (<=) и тогда опять получается что 1=2=3,как и в диалоге выше я уточнял. Или между 1 и 2, и 2 и 3 это разные (<=) ?
Не понял, как вы от неравенства к равенству пришли
источник

L🇷

Lazzlo 🇷🇺 in Теория категорий
Lazzlo 🇷🇺
в общем, ладно, но у меня всё равно вопрос, я могу записать так, имея ввиду что X Y и Z это одно и тоже?
ну мол, как я понимаю, если я бы я нарисовал такую диаграмму (между объектами которых одни  и теже морфизмы) , то это всё равно что я бы нарисовал одну Букву-объект и эту же стрелку у него в себя
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Lazzlo 🇷🇺
ну мол, как я понимаю, если я бы я нарисовал такую диаграмму (между объектами которых одни  и теже морфизмы) , то это всё равно что я бы нарисовал одну Букву-объект и эту же стрелку у него в себя
Нет, не то же самое
источник
2020 February 26

L🇷

Lazzlo 🇷🇺 in Теория категорий
Oleg ℕizhnik
Нет, не то же самое
ну просто вот мы например пологаем f : A->B , а потом я ещё скажу что f: B->C, то разьве это не значит что A==B и B==C а потом и A==C ? Мол что это одни и теже объекты в категории?
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Lazzlo 🇷🇺
ну просто вот мы например пологаем f : A->B , а потом я ещё скажу что f: B->C, то разьве это не значит что A==B и B==C а потом и A==C ? Мол что это одни и теже объекты в категории?
Очень странные символьные игры у вас
источник

Oℕ

Oleg ℕizhnik in Теория категорий
А какая цель у этого "пологания"?
источник

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
Lazzlo 🇷🇺
ну просто вот мы например пологаем f : A->B , а потом я ещё скажу что f: B->C, то разьве это не значит что A==B и B==C а потом и A==C ? Мол что это одни и теже объекты в категории?
имеешь ввиду транзитивность?
источник

Oℕ

Oleg ℕizhnik in Теория категорий
В некоторых определениях, если это действительно один и тот же f, будет означать то, что вы написали.
Но иногда f может быть просто семейством морфизмов, индекс могут опустить, т.к. он понятен из контекста.
источник

L🇷

Lazzlo 🇷🇺 in Теория категорий
Oleg ℕizhnik
А какая цель у этого "пологания"?
Ну в общем-то я хотел сначала представить числа как объекты категории, построить морфизмы, а потом выяснить чем эти форфизмы являються в простой математике, есть ли такие вообще (если простые числа есть в математике...)
источник

L🇷

Lazzlo 🇷🇺 in Теория категорий
Oleg ℕizhnik
В некоторых определениях, если это действительно один и тот же f, будет означать то, что вы написали.
Но иногда f может быть просто семейством морфизмов, индекс могут опустить, т.к. он понятен из контекста.
понял буду знать, не знал что могут целые семейства обозначать
источник

L🇷

Lazzlo 🇷🇺 in Теория категорий
Зигохистоморфный Препроморфизм
имеешь ввиду транзитивность?
ну там да по транзитивности получаеться
источник

L🇷

Lazzlo 🇷🇺 in Теория категорий
Lazzlo 🇷🇺
Ну в общем-то я хотел сначала представить числа как объекты категории, построить морфизмы, а потом выяснить чем эти форфизмы являються в простой математике, есть ли такие вообще (если простые числа есть в математике...)
и ещё меня мучает вопрос, раз уж я тут) Морфизмов от нескольких объектов нету?) не бывает?
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Lazzlo 🇷🇺
и ещё меня мучает вопрос, раз уж я тут) Морфизмов от нескольких объектов нету?) не бывает?
источник

L🇷

Lazzlo 🇷🇺 in Теория категорий
оу, спс))
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Примерно такое же обобщение как мультиграфы
источник

L🇷

Lazzlo 🇷🇺 in Теория категорий
Lazzlo 🇷🇺
и ещё меня мучает вопрос, раз уж я тут) Морфизмов от нескольких объектов нету?) не бывает?
точнее раз уж я тут начал задавать свои глупые вопросы)
Всем спасибо!)
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Lazzlo 🇷🇺
понял буду знать, не знал что могут целые семейства обозначать
Ну айдентити - первый пример подобного семейства.

Потом как дойдёте до ест. трансформаций - ещё один
источник

L🇷

Lazzlo 🇷🇺 in Теория категорий
окей)
источник

Oℕ

Oleg ℕizhnik in Теория категорий
В прклятой книге с динозаврами даётся вроде бы такое опредедение категории, через протокатегории и протоморфизмы.
https://ncatlab.org/nlab/show/protocategory
источник

Oℕ

Oleg ℕizhnik in Теория категорий
У протоморфизма тоже не обязательно точно определены домен кодомен
источник