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

Classifying topos - Wikipedia

В математика, а классификация топосов для какой-то структуры это топос Т такая, что существует естественная эквивалентность геометрических морфизмов из кокомполных топосов 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

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