about me teaching publications contact gitlab

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.