Yeah, see this thread --- I assume these guys haven't heard of the other meaning neither https://golem.ph.utexas.edu/category/2013/06/torsors_and_enriched_cate

Yeah, see this thread --- I assume these guys haven't heard of the other meaning neither https://golem.ph.utexas.edu/category/2013/06/torsors_and_enriched_categorie.html#c044065 https://golem.ph.utexas.edu/category/2013/06/torsors_and_enr... Consider in particular that use of ‘distance’ >I think you can look at adjoint profunctors from the unit category and show that they consist of giving a consistent ‘distance’ to every object, which in a torsor will be represented.