EditDistance[ ]

Textual Metric Distance Function and its Categorifications

EditDistace algorithm and NNG

EditDistance[ ] Categorification