У меня элементарный вопрос начинающего. Я только что прочитал про

Question

У меня элементарный вопрос начинающего. Я только что прочитал про

дуальную категорию и вопрос. Предположим у меня есть категория C из двух множеств {1,2} -> {3}. Стрелка задается функсией на множествах, отображающек 1->3 и 2->3. В дуальной категории Cob обратная стрелка {3} -> {1,2}. Но явлыется ли она функцией на множествах? Нет, конечно, поскольку отображает один элемент в 2, что функция делать не может. Чтобы обратная стрелка была функцией, мы должны на выбор либо отобразить 3->1, либо 3->2. Получается, что если C начальной категории действует функция, то в дуальной Cob, ей соответствует конструкт не являющейся функцией. Я думаю все это объясняется на первой лекции по теор. категорий, но я просто самостоятельно читаю учебник.

0

21.08.2023

1 ответов

32 просмотра

Oleg ℕižnik · Accepted Answer

Oleg ℕižnik

достаточным требованием будет C - группоид

0

21.08.2023

Похожие чаты

У меня элементарный вопрос начинающего. Я только что прочитал про

1 ответов

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