[[!redirects Rational homotopy theory]] [[!redirects rational homotopy theory]] [[!redirects Rational homotopy theory in HoTT]] < [[nlab:rational homotopy theory]] category: redirected to nlab