3 ms·

What does real analysis have to do with category theory?