categorical geometry and integration without points

Advertisements