∞-topos

An ∞-topos is a concept in higher category theory that generalizes the notion of a topos, which originates from category theory and algebraic topology. In classical terms, a topos can be considered as a category that behaves like the category of sheaves on a topological space, possessing certain properties such as limits, colimits, exponentials, and a subobject classifier.