ยง
Torsion as giving monodromy of path lifts (TODO)
https://mathoverflow.net/a/111198/123769