01 Jun 2015 · published · with dr. Kenta Cho, prof. Bart Jacobs and dr. Bram Westerbaan [preprint · EPTCS]
A universal property for \( A \mapsto \sqrt{B} A \sqrt{B} \) appears in a chain of adjunctions.