https://123dok.net/document/qvl7n45g-connections-geodesics-sprays-synthetic-differential-geometry.html