| |||
![]()
|
![]() ![]() |
![]()
Спасибо, да. >представимые функторы -- сопряженные функторы Ну да, разумеется, но не в курсе про топологии для первокурсников. Кстати, у Эйленберга - Мак Лэйна первые сколько-то лет не было представимых и сопряженных функторов, их поначалу интересовала только функториальность. Я расскажу теорему Стоуна (эквивалентность булевых колец с категорией компактных, хаусдорфовых, вполне несвязных пространств), а затем буду невозбранно пользоваться тем, что фундаментальная группа - функтор на категории отмеченных пространств. Кончится все это тем, что категория мономорфизмов G \arrow \pi_1(M) эквивалентна категории связных накрытий M. Все это вполне делается без категорий, но с категориями проще. Такие дела Миша Добавить комментарий: |
||||
![]() |
![]() |