https://jasdev.me/notes/lawvere-metric-spaces
All metric spaces are Lawvere metric spaces · Distillations
Apr 18, 2020 - I’m definitely the rookie in my research group, so the notebook will be a bit math-heavy as I try to catch up.
all metricspacesdistillations