[[!redirects opposite preorder]] [[!redirects opposite (0,1)-precategory]] < [[nlab:opposite preorder]] category: redirected to nlab