Biequivalent

We define strict and weak duality involutions on 2-categories, and prove a coherence theorem that every bicategory with a weak duality involution is biequivalent to a 2-category with a strict duality involution.

This is chloride of ammomium, in which 2 atoms of hydrogen are displaced by the biequivalent atom of mercury.