ЕО
Ну @InLaTeXbot опенсорсный, я могу его на виртуалке поднять. Только список плагинов, который поставить нужно, скажите
Size: a a a
2018 March 03
P
amscd и pb-diagram
ND
что если в качестве диаграммной категории для лимита подсунуть ту же самую категорию?
Если еще не ответили: предел тождественного функтора — инициальный объект, копредел — терминальный.
Oℕ
Если еще не ответили: предел тождественного функтора — инициальный объект, копредел — терминальный.
Oℕ
есть источник с доказательством?
ND
Типа прямая подстановка в определение.
AG
о, меня как раз смущало что стрелки не в ту сторону
Oℕ
Типа прямая подстановка в определение.
а можно разжевать?
Oℕ
ок разжевалось в голове
Oℕ
спасибо
Oℕ
но получается, если инициальных объектов много, то конкретно предел какой-то особенных из них?
Oℕ
ааааа нет, получается, они все пределы, так?
AG
он же уникальный
AG
как и терминальный
AG
если существует
KV
С точностью до изоморфизма
ND
Это от книжки зависит. В некоторых "предел" это предикат, определяет объект и конус с точностью до изоморфизма.
ND
В некоторых определяют categories with chosen limits.
ND
Например, считают, что в Set произведение множеств это именно декартово произведение (множество пар), а не все, что ему изоморфно.
