The unitary isomorphism classes of functional monic dagger maps monomorphisms into every object is a Boolean algebra? . Since every functional monic dagger map monomorphism is a map, thecategory of maps is a Boolean category?.
Examples
The dagger 2-poset of decidable sets and relations is an Boolean dagger 2-poset.