A concrete dagger 2-poset? with a good notion of relation comprehension of morphisms and elements.
Definition
A relational dagger 2-poset is a concrete dagger 2-poset? such that for objects and and for morphism and elements and , there is a type with a term , and an identity