Построение формальной теории, моделями которых служили бы топосы с необходимостью приводит к замене классической логики интуиционистской, столь непривычной для большинства математиков. Тем не менее подобные теории постепенно наращивают свои возможности. Одной из таких теорий является Синтетическая дифференциальная геометрия Ловера-Кока, благодаря которой открываются интересные перспективы в раскрытии природы пространства-времени.  

На этом сайте размещены научные и учебные материалы, важные ссылки, которые, могут быть полезными для тех кто отважился изучить теорию топосов и ее приложения.