Хронология развития теории категорий и связанной с ней математики
- Статья представляет собой обзор истории и развития теории категорий и топосов в математике.
- Топосы являются фундаментальными объектами в топологии и играют важную роль в алгебраической геометрии.
- Интуиционистская логика предикатов первого порядка и рассмотрение топосов как теорий типов используются для выражения свойств топоса.
- Симплициальные пространства и категории Сегала являются слабыми формами S-категорий.
- Квазикатегории являются симплициальными множествами, удовлетворяющими условию слабого Кана.
- A∞-категории являются симметричными замкнутыми мультикатегориями, которые раскрываются на языке comonads.
- Геометрическая эквивалентность Сатаке реализовала категорию представлений двойной группы Ленглендса LG в терминах сферических искаженных пучков.
Полный текст статьи: