Похожие чаты

Надо картинку. Пусть X множество, A подмножество, Ord(X) множество структур порядка

на X (тотальность порядка на них можно добавить но вроде не обязательно) и тд

Какую диаграмму мне из них собрать?

6 ответов

35 просмотров

Необязательно тотальность, да, об этом можно говорить для любого бинарного отношения. Стрелка A -> X определяет A x A -> X x X, желанная конструкция -- пулбэк вдоль неë (функтор прообраза подобъектов). Это имеет смысл и встречается на практике во многих категориях, не только в топосах (типа Set).

Nikita-Repeev Автор вопроса
Аршак Айвазьян
Необязательно тотальность, да, об этом можно говор...

А можно не для одного отношения а сразу для всех? Например пусть есть эндофунктор на множествах X -> Ord(X) Можно ли получить Ord_X(A) какой нибудь?

Nikita Repeev
А можно не для одного отношения а сразу для всех? ...

Можно определить функтор между Sub(X) (подмножествами X) и упорядоченным множеством линейных порядков, определенных на подмножествах X, как вариант

Nikita Repeev
А можно не для одного отношения а сразу для всех? ...

А если рассмотреть композицию функтора включения подобъектов X (Монострелка A —> X отображается в объект A, морфизмы (A—>X) —> (B —>X) отображаются в A—>B) с вашим эндофунктором? В итоге должны получиться как раз подобъекты в категории Ord(X)

Nikita-Repeev Автор вопроса
Иван Томилов
А если рассмотреть композицию функтора включения п...

Кажется даже ещё проще. Надо сказать просто что Ord() это контравариантный функтор из Set в себя. Вроде бы это даёт возможность индуцировать порядок на подобъектах и вообще любых прообразах. Но это ещё не полностью меня устраивающая формулировка. Сейчас попробую вашу чуть чуть изменить.

Nikita-Repeev Автор вопроса
Nikita Repeev
Кажется даже ещё проще. Надо сказать просто что Or...

Всё, разобрались. Расскажу вдруг кому тоже интересно. Мы рассматривали функтор Ord: Set^op -> Set Он берет множество из Set^op и сопоставляет ему множество возможных отношений порядка на данном множестве. То что это функтор уже отвечало на мой вопрос про индуцирование структуры порядка на подобъектах. Однако этот функтор плохой, он забывает кое что чего можно не забывать. Рассмотрим вместо него такой Ord: Set^op -> Poset Он берет множество и сопоставляет ему посет отношений порядка на нем(устроенный очевидным образом). Утверждение. Фунтор Ord: Set^op -> Poset это конструкция Гротендика к забывающему функтору из Poset в Set.

Похожие вопросы

Обсуждают сегодня

Ready for some fun AND a chance to win TKO Tokens? Join us for exciting minigames in our Telegram group! 🕒 Don’t miss out—games start on today 25 October 2024, at 8 PM! Ge...
Milkyway | Tokocrypto
255
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
How about the project bro Likes the community not that active ?
🅿️abby_FX
19
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
How are we going bro about the Raids ??
🅿️abby_FX
13
Россия стала ввозить сливочное масло из ОАЭ. Просто ради любопытства взглянул на статистику и впечатлился. У арабов среднестатистическая корова дает около 42 литров молока в д...
Foxcool
2
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
я так понимаю, я так подозреваю, что создание такого плагина для человека, кто умеет писать плагины для делфи потребует минут 5-10 времени. но это мое подозрение. хотелось бы ...
Kraszx
7
Карта сайта