[[!redirects relational dagger 2-poset]] [[!redirects relational dagger 2-posets]] < [[concrete category]]