Geometric construction of the Levi-Civita parallelism. Kock, Anders (1998) Theory and Applications of Categories [electronic only]