Categories of Interval Semimetric Spaces and Point-Free Geometry