Probabilistic metric spaces as enriched categories. - Dirk Hofmann; C. D. Reis (Fuzzy Sets Syst., 2013)