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