"Топосы. Категорный анализ логики" - читать интересную книгу автора (Голдблатт Р.)