Категория многообразий
- Категория заостренных многообразий является примером категории с запятой.
- Конструкцию касательного пространства можно рассматривать как функтор от Man p к VectR.
- Эта конструкция является подлинным функтором, потому что является продолжением идентификационной карты.
Полный текст статьи: