Showing changes from revision #1 to #2:
Added | Removed | Changed
An choice dagger 2-poset is a dagger 2-poset whose category of maps satisfies the axiom of choice?
An choice dagger 2-poset is a dagger 2-poset where for every object and , every entire dagger epimorphism has a section.
The dagger 2-poset of choice sets and relations is an choice dagger 2-poset.