01 Jun 2015 [ proceedings (QPL 2015) · preprint ]
A universal property for \( A \mapsto \sqrt{B} A \sqrt{B} \) appears in a chain of adjunctions.