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