Showing changes from revision #3 to #4:
Added | Removed | Changed
A power dagger 2-poset is a dagger 2-poset such that for every object there exists an object called the power object of and a morphism called subobject membership in , such that for each morphism , there exists a morphism called the characteristic morphism such that .
The dagger 2-poset of sets and relations is a power dagger 2-poset.