| |||
![]()
|
![]() ![]() |
![]()
Изначально было гпупое \определение Функтор $F:\; \cac_1 \arrow \cac_2$ называется {\бф эквивалентностью категорий}, если он задает изоморфизм в категории всех категорий. \ео сейчас там, кажется, правильное \определение Функтор $F:\; \cac_1 \arrow \cac_2$ называется {\бф эквивалентностью категорий}, если найдутся функторы $G, G':\; \cac_2 \arrow \cac_1$ такие, что $F\circ G$ эквивалентен тождественному функтору на $\cac_1$, а $G' \circ F$ эквивалентен тождественному функтору на $\cac_2$. \ео (потом я немедленно применял это к изоморфизму категорий "булевы кольца - булевы алгебры", что меня и сбило). Убедить студентов, что словом "категории" можно (и нужно) пользваться, стоит больших моральных усилий. Такие дела Миша Добавить комментарий: |
||||
![]() |
![]() |