[[!redirects Higher algebra]] [[!redirects higher algebra]] [[!redirects Higher algebra in HoTT]] < [[nlab:higher algebra]] category: redirected to nlab