01 Jun 2015 [ arxiv · preprint · video · slides ]
A universal property for A ↦ √B A √B appears in a chain of adjunctions.