Abraham Westerbaan

github

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.