2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки





Начать новую тему Ответить на тему На страницу Пред.  1 ... 5, 6, 7, 8, 9
 
 Re: Написал учебник теории категорий
Сообщение22.08.2017, 20:37 
Заслуженный участник
Аватара пользователя


03/06/08
564
МО
george66 в сообщении #1241695 писал(а):
Про топос графов популярная статья https://arxiv.org/abs/math/0306394

Все-таки недостаточно (популярная) для моего уровня ;) но я понял, что это про пример 7.9.
И конечные автоматы затрагиваются..
Обязательно прочту, спасибо!
--
Цитата:
self-contained example of “combinatorial topos”, which can be extremely useful to anyone wanting to get acquainted with topos-theoretical definitions

Это конечно, но еще интереснее было бы про эффект в другую сторону ;)

 Профиль  
                  
 
 Re: Написал учебник теории категорий
Сообщение05.09.2017, 16:52 
Заслуженный участник
Аватара пользователя


03/06/08
564
МО
Вопрос по примеру 10.55.
Я правильно понимаю, что подразумевается категория наборов стрелок для всевозможных пар объектов исходной категории?
Где стрелки из $\mathsf{K}(A,B)$ в $\mathsf{K}(C,D)$ задаются парами стрелок $f: C \to A, g: B \to D$ исходной категории.
И изоморфизм, соответственно, в этой категории?

 Профиль  
                  
 
 Re: Написал учебник теории категорий
Сообщение05.09.2017, 20:49 


31/12/15
203
Нет, это просто изоморфизм множеств в $\mathsf{Set}$. Есть взаимно однозначное соответствие между множествами
$\mathsf{K}(D,A\times B)$ и $\mathsf{K}(D,A)\times \mathsf{K}(D,B)$
Никакой специальной категории там нет, просто $\mathsf{Set}$. Взаимно однозначное соответствие сопоставляет каждому элементу множества $\mathsf{K}(D,A\times B)$ (то есть, стрелке вида $h\colon D\to A\times B$) элемент множества $\mathsf{K}(D,A)\times \mathsf{K}(D,B)$ (то есть, пару стрелок вида $f_1\colon D\to A$ и $f_2\colon D\to B$)

 Профиль  
                  
 
 Re: Написал учебник теории категорий
Сообщение06.09.2017, 00:19 


31/12/15
203
То, что Вы пишете -- это примерно категория $\mathsf{K}^{op}\times\mathsf{K}$. Только её объекты -- это просто пары объектов вроде $(A,B)$ и $(C,D)$, а стрелками из $(A,B)$ в $(C,D)$ будут именно пары стрелок $f\colon C\to A$, $g\colon B\to D$
Дальше, зафиксировав $D$, имеем два функтора из $\mathsf{K}^{op}\times\mathsf{K}$ в $\mathsf{Set}$
$F(A,B)=\mathsf{K}(D,A\times B)$
$G(A,B)=\mathsf{K}(D,A)\times\mathsf{K}(D,B)$
Эти функторы естественно изоморфны. При любых фиксированных $A,B$ получаем просто взаимно однозначное соответствие между элементами двух множеств (изоморфизм в $\mathsf{Set}$)

 Профиль  
                  
 
 Re: Написал учебник теории категорий
Сообщение06.09.2017, 11:47 


31/12/15
203
Ой, какую фигню я написал в прошлом комментарии. Приведённые там функторы оба действуют так
$F,G\colon \mathsf{K}\times\mathsf{K}\to\mathsf{Set}$
и $\mathsf{K}^{op}$ вообще ни при чём. Предыдущий комментарий не считать здравым.

-- 06.09.2017, 11:51 --

Можно определить
$F(D,A,B)=\ldots$
$G(D,A,B)=\ldots$
тогда они будут такого типа $F,G\colon\mathsf{K}^{op}\times\mathsf{K}\times\mathsf{K}\to\mathsf{Set}$

 Профиль  
                  
 
 Re: Написал учебник теории категорий
Сообщение06.09.2017, 20:06 
Заслуженный участник
Аватара пользователя


03/06/08
564
МО
Я Вас запутал ;)
Сори, в задаче прямо что изоморфизм в $\mathsf{Set}$ сказано же, это я по обыкновению только формулы, а текст мимо ушей пропустил.

 Профиль  
                  
 
 Re: Написал учебник теории категорий
Сообщение24.10.2017, 22:35 


24/10/17
1
Пример 6.7.
Условие "Пусть K1 и K2 – малые категории предпорядка."
Видимо, имеет смысл ослабить до:
"Пусть K1 -малая категория, а K2 – малая категория предпорядка."

 Профиль  
                  
 
 Re: Написал учебник теории категорий
Сообщение24.10.2017, 22:50 


31/12/15
203
gor в сообщении #1258732 писал(а):
Пример 6.7.
Условие "Пусть K1 и K2 – малые категории предпорядка."
Видимо, имеет смысл ослабить до:
"Пусть K1 -малая категория, а K2 – малая категория предпорядка."

Это верно, но тут на будущее пример декартово замкнутой категории (категория частично упорядоченных множеств и монотонных отображений, в ней есть "экспоненты")

 Профиль  
                  
 
 Re: Написал учебник теории категорий
Сообщение29.10.2017, 16:34 


31/12/15
203
Приснилась фраза "Теория множеств не даёт молока, но всех оплодотворяет", хочу со всеми поделиться.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 129 ]  На страницу Пред.  1 ... 5, 6, 7, 8, 9

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group