The notion of interval semimetric space leads to introduce a geometry whose primitive notions are regions and interval-valued maps, following the A.N. Whitehead's ideas. A Point-free method to complete metric spaces by abstraction processes is proposed. The relations between categories of interval semimetric spaces and metric spaces are investigated.
A note on a Category in Point-free Geometry
MIRANDA, Annamaria
2018-01-01
Abstract
The notion of interval semimetric space leads to introduce a geometry whose primitive notions are regions and interval-valued maps, following the A.N. Whitehead's ideas. A Point-free method to complete metric spaces by abstraction processes is proposed. The relations between categories of interval semimetric spaces and metric spaces are investigated.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
