Ubiquity in category for metric spaces and transition systems
graphs equipped with the graphic distance
scientific article; zbMATH DE number 871023