s
Обращаешь категорию — 1 становится 0, и все стрелки, что шли из, идут в.
Size: a a a
2021 December 10
s
И сразу же получаешь несоответствие между начальным объектами в Set и Set*
A
Всё, дошло. Спасибо @zukaboo, @valery_isaev
2021 December 11
ММ
Это повсеместный бот кстати.
ММ
А какие?)
2021 December 12
NR
Там ниже скинули
2021 December 13
ЕО
А какая разница? Разве не в любом топосе это эквивалентные определения?
AG
ну поинт видимо в том что куда обобщается
V
В топосе одно из этих определений вообще не имеет смысла. Точнее, если написать его во внутреннем языке, то получится просто второе.
V
Что заставляет задуматься, а можно ли вообще определить enriched категории в топосе?
ЕО
А почему нет? Только это будет enrichment over internal cat
V
В топосе предпучков возможно получится задать оба определения, кстати.
V
Ну да, ок. Просто получается, что в произвольном топосе нельзя определить какие-то интересные большие категории.
ЕО
Я воспитан на унивесумах Гротендика и мне кажется, что "величина" это относительное понятие.
Т.е. для любой задачи прикладной мы всегда можем накинуть в метатеорию ещё универсум, а потом "спустить" его до внутренней логики
Т.е. для любой задачи прикладной мы всегда можем накинуть в метатеорию ещё универсум, а потом "спустить" его до внутренней логики
K
Вангую грядущую потасовку ферматистов с не-ферматистами
V
Ну я написал "большая" только чтобы дать понять о каких категориях может речь. Ну т.е. всяких там моноидов, топ. пространств и прочих
V
И в произвольном топосе вселенных как раз нет.
V
Интересно, кстати, а есть ли примеры топосов без вселенных. В топосах Гротендика они есть, в эффективном топосе тоже вроде есть одна.