[[!redirects Order theory]] [[!redirects order theory]] [[!redirects Order theory in HoTT]] < [[nlab:order theory]] category: redirected to nlab