на X (тотальность порядка на них можно добавить но вроде не обязательно) и тд
Какую диаграмму мне из них собрать?
Необязательно тотальность, да, об этом можно говорить для любого бинарного отношения. Стрелка A -> X определяет A x A -> X x X, желанная конструкция -- пулбэк вдоль неë (функтор прообраза подобъектов). Это имеет смысл и встречается на практике во многих категориях, не только в топосах (типа Set).
А можно не для одного отношения а сразу для всех? Например пусть есть эндофунктор на множествах X -> Ord(X) Можно ли получить Ord_X(A) какой нибудь?
Можно определить функтор между Sub(X) (подмножествами X) и упорядоченным множеством линейных порядков, определенных на подмножествах X, как вариант
А если рассмотреть композицию функтора включения подобъектов X (Монострелка A —> X отображается в объект A, морфизмы (A—>X) —> (B —>X) отображаются в A—>B) с вашим эндофунктором? В итоге должны получиться как раз подобъекты в категории Ord(X)
Кажется даже ещё проще. Надо сказать просто что Ord() это контравариантный функтор из Set в себя. Вроде бы это даёт возможность индуцировать порядок на подобъектах и вообще любых прообразах. Но это ещё не полностью меня устраивающая формулировка. Сейчас попробую вашу чуть чуть изменить.
Всё, разобрались. Расскажу вдруг кому тоже интересно. Мы рассматривали функтор Ord: Set^op -> Set Он берет множество из Set^op и сопоставляет ему множество возможных отношений порядка на данном множестве. То что это функтор уже отвечало на мой вопрос про индуцирование структуры порядка на подобъектах. Однако этот функтор плохой, он забывает кое что чего можно не забывать. Рассмотрим вместо него такой Ord: Set^op -> Poset Он берет множество и сопоставляет ему посет отношений порядка на нем(устроенный очевидным образом). Утверждение. Фунтор Ord: Set^op -> Poset это конструкция Гротендика к забывающему функтору из Poset в Set.
Обсуждают сегодня