[[!redirects contractibility of Dedekind real numbers]] < [[nlab:real-cohesive (infinity,1)-topos]] category: redirected to nlab