Showing changes from revision #2 to #3: Added | Removed | Changed

Contents

Definition

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

See also

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