Showing changes from revision #5 to #6:
Added | Removed | Changed
A Boolean dagger 2-poset is a dagger 2-poset whose category of maps is an Boolean category?.
A Boolean dagger 2-poset is a Heyting dagger 2-poset where for each objects , and monic map , there is a unitary isomorphism .
The dagger 2-poset of decidable sets and relations is an Boolean dagger 2-poset.