[[!redirects 2-poset of partial maps]] < [[nlab:2-poset of partial maps]] category:redirected to nlab