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