2014 dxdy logo

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

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


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Определение двойственной категории
Сообщение07.06.2021, 22:49 


06/04/18

323
https://ncatlab.org/nlab/show/opposite+category

ncatlab утверждает, что в двойственной категории присутствует the same composition operation, но при этом у каждой стрелки меняются область и кообласть. Но если меняются область и кообласть, должен меняться порядок операндов, а это уже другая операция композиции: $((f:B \to C) \circ_1 (g:A \to B))^*=(g^* :B \to A) \circ_2 (f^*:C \to B)$

Или я что-то не так понял ?

 Профиль  
                  
 
 Re: Определение двойственной категории
Сообщение08.06.2021, 12:49 
Заслуженный участник
Аватара пользователя


03/06/08
2417
МО
Дальше уточняется же, в каком смысле оно the same, что-то там more precisely и т.д.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

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



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

Сейчас этот форум просматривают: Alex Krylov


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

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