[[!redirects partial order]] [[!redirects partially ordered type]] [[!redirects partially ordered set]] [[!redirects poset]] [[!redirects (0,1)-category]] < [[nlab:partial order]] category: redirected to nlab