Оливия Карамелло — 1/4 Введение в теорию топосов Гротендика

Этот курс представляет собой введение в теорию топосов Гротендика с метаматематической точки зрения. В нём изложены основные классические подходы к предмету (а именно, топосы как обобщённые пространства, топосы как математические вселенные и топосы как классификаторы моделей геометрических теорий первого порядка) в свете более современной перспективы топосов как объединяющих «мостов», связывающих различные математические контексты друг с другом и позволяющих изучать математические теории с разных точек зрения. https://www.oliviacaramello.com/Talks...