Bas Westerbaan

home

Quotient–Comprehension Chains

01 Jun 2015 [ preprint · EPTCS ]

A universal property for \( A \mapsto \sqrt{B} A \sqrt{B} \) appears in a chain of adjunctions.