s
> Если у сообщества действительно есть основания для сомнения в модераторах, если его модераторы в самом деле используют свою власть в личных целях — то, наверное, это сообщество не стоит того, чтобы его спасать.
Ну и бред
Ну и бред
Size: a a a
2021 December 03
2021 December 07
TZ
LMAO
Y
что за книга, не подскажете?
EJ
Ленг, Алгебра.
2021 December 08
ЖК
Так почему эта диаграмма не соответствует никакой категории с двумя объектами?
(когда-то давно спрашивал про эту задачку аж в нескольких чатиках, так никто и не объяснил 😢)
(когда-то давно спрашивал про эту задачку аж в нескольких чатиках, так никто и не объяснил 😢)
DG
А попробовать порассуждать?
KV
h . f . g = h . f . g
h . f = id(A)
f . g = id(B)
=>
h . id = id . g
=>
h = g
Противоречие условию
h . f = id(A)
f . g = id(B)
=>
h . id = id . g
=>
h = g
Противоречие условию
KV
Не объясняли видимо потому что очевидно
ЖК
> h . f = id(A)
Но это же вроде ниоткуда не следует.
Не всякий морфизм из объекта в объект - id. Разве нет?
Но это же вроде ниоткуда не следует.
Не всякий морфизм из объекта в объект - id. Разве нет?
KV
А какие там ещё варианты?
ЖК
Пробовал. Не помогает.
KV
Там всего пять морфизмов указано, из них один A -> A и один B -> B
KV
Это только idы получаются
ЖК
Ну да. Но разве это значит, что эти два id - композиции других морфизмов? 🤔
KV
Конечно
KV
Если f : A -> B и g : B -> C есть в категории, значит есть и их композиция g . f : A -> C
KV
В данном случае нет стрелок, которые могли бы быть композицией, кроме idов, значит, это они и есть
KV
Это обычное рассуждение в теории категорий: мы знаем, что вот тут есть только одна возможная стрелка, а теперь заметим, что композиция других стрелок тоже сюда подходит, значит, эта композиция и есть та единственная стрелка
ЖК
А, вот оно чего...
Усвоил, спасибо 😁
Усвоил, спасибо 😁
2021 December 10
A
Добрый день. Объясните, пожалуйста, почему категория Set ≆ Set*