2 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Giorgio Bacci, Radu Mardare, Prakash Panangaden +1
Lawvere showed that generalised metric spaces are categories enriched over [0,∞], the quantale of the positive extended reals. The statement of enrichment is a quantitative…