Many familiar categories can be interpreted as categories of generalized metric spaces (Q1866044)

The paper belongs to those describing a category \(\mathcal C\) containing many other concretely used categories as (full) subcategories. In this case, \(\mathcal C\) is a category of generalized metric spaces defined by distance maps into some ordered spaces (the idea started probably by Kurepa in 1934-36), and contains, among others, the categories \({\mathcal M}etr\), \({\mathcal Q}oset\), \({\mathcal T}op\), \({\mathcal Q}Unif\), \({\mathcal G}roup\), and the categories of measured spaces, Heyting algebras and Boolean lattices.