AZ
кому верить я хз
cophi/copsiSize: a a a
2019 December 23
AZ
я понял что через фороллы можно кодировать экистенциальность, но тогда сигнатура совсем не та, что у автора. Поэтому я уверен что он имел ввиду то что я тайпчекнул через
KV
автор говорит "это койонеда", вы говорите "это коваирантная йонеда"
У Бартоша Йонеда в ковариантной и контравариантной формулировках, причём второе он видимо назвал ко-Йонедой, но это не та самая ко-Йонеда
2019 December 24
AZ
Видимо действительно в этом дело, и его "койонеда" это не настоящая койонеда)
Спасибо, а то меня этот вопрос уже замучил. Сорян за доставучесть, просто боялся если этот момент не пойму дальше будет хуже.
Спасибо, а то меня этот вопрос уже замучил. Сорян за доставучесть, просто боялся если этот момент не пойму дальше будет хуже.
Oℕ
Т.е. нужно было, чтобы Кирилл то же самое написал, чтобы ты смирился?
KV
Не хватало одной ноды до консенсуса
(
а есть какой-нибудь инструмент, чтобы мышкой перетаскивать объекты и строить и визуализировать категории? Кроме всяких mindmap-ов
YS
а есть какой-нибудь инструмент, чтобы мышкой перетаскивать объекты и строить и визуализировать категории? Кроме всяких mindmap-ов
yEd попробуйте
YS
graphviz без мышки, но это лучше, чем с мышкой
YS
правда, в graphviz не очень удобно рисовать стрелки между стрелками
(
я больше надеялся, что существует какой-нибудь инструмент, в котором наделал мышкой стрелочек, а он ещё проверил, что категория корректна, я нигде не потерял изоморфизмов и ещё бы автоматически вывел свойств
(
ну да ладно
Oℕ
категория корректна???
(
категория корректна???
*что то, что я считаю является категорией, на самом деле категория
Oℕ
а как ты намереваешься определять категорию?
Oℕ
ты имеешь в виду какую-то финитную категорию с конечным числом объектов и стрелок?
(
а как ты намереваешься определять категорию?
как всегда - у неё есть композиция и изо
Oℕ
какое изо?
(
какое изо?
изоморфизм
A
какое изо?
id видимо