← Back to context

Comment by vi_sextus_vi

14 hours ago

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_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.