WikiDer > Топостардың жіктелуі - Википедия

Classifying topos - Wikipedia

Жылы математика, а топостарын жіктеу қандай да бір құрылым үшін а топос Т кокомплетті топостың геометриялық морфизмдері арасында табиғи эквиваленттілік бар E дейін Т және құрылым үшін модельдер санаты E.

Мысалдар

Әдебиеттер тізімі

  • Карамелло, Оливия (2017), Теориялар, сайттар, топоздар: математикалық теорияларды топос-теоретикалық «көпірлер» арқылы байланыстыру және зерттеу, Oxford University Press, дои:10.1093 / oso / 9780198758914.001.0001, ISBN 9780198758914
  • Мак-Лейн, Сондерс; Moerdijk, Ieke (1992), Геометрия мен логикадағы шоқтар. Топос теориясына алғашқы кіріспе, Universitext, Нью-Йорк: Springer-Verlag, ISBN 0-387-97710-4, МЫРЗА 1300636
  • Moerdijk, I. (1995), Кеңістікті жіктеу және топоиды жіктеу, Математикадан дәрістер, 1616, Берлин: Springer-Verlag, дои:10.1007 / BFb0094441, ISBN 3-540-60319-0, МЫРЗА 1440857

Сыртқы сілтемелер