Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams.

Gabriele Lobbia, Wojciech Rozowski, Ralph Sarkis, Fabio Zanasi

Browse the full MFCS paper archive.