Quotient–Comprehension Chains

01 Jun 2015 [ arxiv · preprint · video · slides ]

doi	10.4204/EPTCS.195.10
with	Kenta Cho, Bart Jacobs, and Bas Westerbaan

A universal property for A ↦ √B A √B appears in a chain of adjunctions.