Contents

Definition

A concrete dagger 2-poset $C$ is a dagger 2-poset with a set $El(A)$ for every object $A:Ob(C)$ and a function $(-)((-)): Map(A,B) \times El(A) \to El(B)$ for map evaluation for elements of objects $A:Ob(C)$ and $B:Ob(C)$.

See also

• concrete category
• concrete precategory
• Rel
• SEAR
• Categorical SEAR