1 paper · 1 filter
Martin Escardo, Alex Simpson
Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures correspo…