Nijmegen Quantum Logic Group

home people seminar

Quotient–Comprehension Chains

01 Jun 2015 [ proceedings (QPL) · preprint ]

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