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