|
|
|
|
|
|
by vi_sextus_vi
2 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. |
|
|