no. 3
On connections, geodesics and sprays in synthetic differential geometry
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 25 (1984) no. 3, pp. 221-258. 
@article{CTGDC_1984__25_3_221_0,
     author = {Bunge, Marta and Sawyer, Patrice},
     title = {On connections, geodesics and sprays in synthetic differential geometry},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {221--258},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {25},
     number = {3},
     year = {1984},
     mrnumber = {786551},
     zbl = {0582.18007},
     language = {en},
     url = {http://archive.numdam.org/item/CTGDC_1984__25_3_221_0/}
}
TY  - JOUR
AU  - Bunge, Marta
AU  - Sawyer, Patrice
TI  - On connections, geodesics and sprays in synthetic differential geometry
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1984
SP  - 221
EP  - 258
VL  - 25
IS  - 3
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_1984__25_3_221_0/
LA  - en
ID  - CTGDC_1984__25_3_221_0
ER  - 
%0 Journal Article
%A Bunge, Marta
%A Sawyer, Patrice
%T On connections, geodesics and sprays in synthetic differential geometry
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1984
%P 221-258
%V 25
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_1984__25_3_221_0/
%G en
%F CTGDC_1984__25_3_221_0
Bunge, Marta; Sawyer, Patrice. On connections, geodesics and sprays in synthetic differential geometry. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 25 (1984) no. 3, pp. 221-258. http://archive.numdam.org/item/CTGDC_1984__25_3_221_0/

1 E. Dubuc & A. Kock, On 1-form classifiers, Aarhus Preprint Series 1981/82, 39. | MR | Zbl

2 C. Godbillon, Géométrie différentielle et mécanique analytique, Hermann, Paris 1969. | MR | Zbl

3 A. Kock, Synthetic Differential Geometry, Cambridge Univ. Press, 1981. | MR | Zbl

4 A. Kock & G. Reyes, Connections in formal Differential Geometry, Aarhus Math. Inst. Var. Publ. Series 30, 1979. | MR | Zbl

5 S. Lang, Introduction to differentiable manifolds, Interscience, 1967. | Zbl

6 F.W. Lawvere, Categorical Dynamics, in Aarhus Math. Inst. Var. Publ. Series 30, 1979. | MR | Zbl

7 L.N. Patterson, Connections and prolongations, Can. J. Math. XXVII, 4 (1975), 766-791. | MR | Zbl

8 J. Penon, Topologie et intuitionnisme, in: Journées de Faisceaux et Logique, Mai 1981, Univ. Paris-Nord (pré-publications math.), 1982.

9 W.A. Poor, Differential geometric structures, McGraw Hill, 1981. | MR | Zbl

10 B. Veit Riccioli, Structures on iterated tangent bundles (manuscript), 1981.