KV
Не пускает, зараза
Size: a a a
2018 April 06
A
Да вроде норм, только что пустило.
DR
меня пустило
DM
там вродь с фб раньше были проблемы, через гугл пускало
KV
У меня как раз нет фб, а через гугл и мыло не пускает. И заново зарегаться не даёт
DM
эдблоки какие-нить
KV
эдблоки какие-нить
Не, даже с разных браузеров результат одинаковый
KV
Написать им что ли
DR
я через фб зашел
AG
я просто зарегался
Oℕ
KV
к
наверное это можно считать решением, хоть это не пруф вовсе
а то я чет хз как доказывать такие вещи, и уж тем более на бумаге
описывать категории что ли
а то я чет хз как доказывать такие вещи, и уж тем более на бумаге
описывать категории что ли
Oℕ
наверное это можно считать решением, хоть это не пруф вовсе
а то я чет хз как доказывать такие вещи, и уж тем более на бумаге
описывать категории что ли
а то я чет хз как доказывать такие вещи, и уж тем более на бумаге
описывать категории что ли
Без равенств - не доказательство
Oℕ
Но вообще - да. Описывать категории
Oℕ
нет
Oℕ
вот например не любая пара морфизмов (a -> b, b -> a) является изоморфизмом
KV
Можно в имеющемся коде добавить равенства и будет доказательство. Оно, конечно, не общее, а для частного случая, но с общим совпадает по виду
Oℕ
а по этому построению - люба
AG
это наверное чото типа биекции