[[!redirects Synthetic homotopy theory]] [[!redirects Homotopy theory in HoTT]] < [[nlab:synthetic homotopy theory]] category:redirected to nlab