Category: Metric linear spaces