Comment Comment by vi_sextus_vi Yeah, see this thread --- I assume these guys haven't heard of the other meaning neitherhttps://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. parent vi_sextus_vi 4 months ago
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.