about me
teaching
publications
contact
gitlab
Quotients, Comprehension and Measurement
26 Mar 2015 [
preprint
]
with
Kenta Cho
,
Bart Jacobs
, and
Bas Westerbaan
A universal property for A ↦ √B A √B appears in a chain of adjunctions.