[[!redirects model of type theory in an (infinity,1)-topos]] < [[nlab:model of type theory in an (infinity,1)-topos]] category:redirected to nlab