AG
по идее терминальный объект
Size: a a a
2018 March 03
AG
но это не точно
Oℕ
терминальный же для пустого
AG
да, поэтому и не точно
Oℕ
просто мы получаем некоторую локальную "утончающую" проекцию нашей исходной категории внутри неё.
"Уточнающую" потому что, как бы мы не проходили по стрелкам в конусе всё должно коммутировать
"Уточнающую" потому что, как бы мы не проходили по стрелкам в конусе всё должно коммутировать
AG
ну тут наверное прежде чем говорить про лимиты, надо выяснить как выглядит такая диаграмма
Oℕ
По аналогии там с equalizer и pullback
Oℕ
Поэтому в итоге такой лимит должен быть какой-то когерентной формой категории.
Oℕ
ну тут наверное прежде чем говорить про лимиты, надо выяснить как выглядит такая диаграмма
А как выглядят эндофункторы
AG
пагадити, лимит это объект категории
Oℕ
пагадити, лимит это объект категории
да
Oℕ
но объект, который отображает в себе какую-то структуру, собранную из других объектов\морфизмов , заданную формой индексной категории, нет?
Oℕ
вот моя фантазия ещё подбрасывает образ какого-то рефлекшн-объекта
DM
по идее терминальный объект
не факт, не известно же сколько объектов в категории и как там формируются диаграммы
AG
да, это не он
P
короче, это ковариантный функтор, а морфизмы в категории групп между классами эквивалентности — стандартные гомоморфизмы
P
все, разобрался
P
только нужно было уточнять, что объекты в категории топ.пространств — пространства с отмеченной точкой
P
но это очевидно, в общем
Oℕ
ну ещё раз