Showing changes from revision #5 to #6: Added | Removed | Changed

Contents

Definition

A concrete dagger 2-poset with elements$C$ is a dagger 2-poset with a set $El(A)$ for every object $A:Ob(C)$.

See also

• concrete category
• concrete precategory
• map-evaluational dagger 2-poset
• relational dagger 2-poset
• Rel
• SEAR
• Categorical SEAR