A notion of -topos is a generalization of that of topos to higher category theory.
If by -category one means an -category, then such a notion is still undefined. However, nowadays many people write “-category” to mean what here on the nLab we usually still call an (∞,1)-category, and thus an “-topos” means an (∞,1)-topos. See also higher topos theory for more.
Last revised on April 4, 2017 at 08:21:24. See the history of this page for a list of all contributions to it.