I've been reading through Lurie's book on higher topos theory, where he develops the theory of $(\infty,1)$-toposes, which leads me to the following question: Is there any sort of higher topos theory on the more general $\omega$-categories, where we don't require all higher morphisms to be invertible?