[[!redirects fiber]] [[!redirects homotopy fiber]] < [[nlab:homotopy fiber]] category: redirected to nlab