Незавершённые статьи по теории категорий

∞-топос Определение ∞-топоса ∞-топос — это ∞-категория, объекты которой ведут себя как пучки пространств.  Прототип — ∞-категория пучков пространств в […]