Андре Жоял - 1/4 Краткий курс теории топосов: общая картина

Примерно половина теории топосов SGA4 посвящена категориальным обобщениям. В настоящее время они включены в современную теорию (локально) презентабельных категорий. Я кратко изложу эту теорию, подчеркнув результаты, важные для теории топосов. Категория полных решеток и отображений, сохраняющих супремум, является упрощенным примером этой теории.