Классификация топосов - Википедия - Classifying topos

В математика, а классификация топосов для какой-то структуры это топос Т такая, что существует естественная эквивалентность геометрических морфизмов из кокомполных топосов E к Т и категории моделей конструкции в E.

Примеры

Рекомендации

  • Карамелло, Оливия (2017), Теории, сайты, топосы: взаимосвязь и изучение математических теорий через топосооритические «мосты», Издательство Оксфордского университета, Дои:10.1093 / oso / 9780198758914.001.0001, ISBN  9780198758914
  • Мак Лейн, Сондерс; Мурдейк, Ике (1992), Связки в геометрии и логике. Первое введение в теорию топосов, Universitext, Нью-Йорк: Springer-Verlag, ISBN  0-387-97710-4, МИСТЕР  1300636
  • Мурдейк, И. (1995), Классификация пространств и классификация топоев, Конспект лекций по математике, 1616, Берлин: Springer-Verlag, Дои:10.1007 / BFb0094441, ISBN  3-540-60319-0, МИСТЕР  1440857

внешняя ссылка