(infinity,1)-topos

Recall the following familiar 1-categorical statement: The idea of -toposes is to generalize the above situation from to (recall the notion of (n,r)-category and see the general discussion at ∞-topos): Recall that sheaf toposes are equivalently the left exact reflective subcategories of presheaf toposes and that the inclusion functor is necessarily an accessible functor. This characterization has the following immediate generalization to a definition in (∞,1)-category theory, where the only...