[[!redirects A Cubical Approach to Synthetic Homotopy Theory]] < [[nlab:A Cubical Approach to Synthetic Homotopy Theory]] category: redirected to nlab