On connections, geodesics and sprays in synthetic differential geometry
Bunge, Marta ; Sawyer, Patrice
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 25 (1984), p. 221-258 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU) 
@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},
     volume = {25},
     year = {1984},
     pages = {221-258},
     mrnumber = {786551},
     zbl = {0582.18007},
     language = {en},
     url = {http://dml.mathdoc.fr/item/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) pp. 221-258. http://gdmltest.u-ga.fr/item/CTGDC_1984__25_3_221_0/

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

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

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

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

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

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

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

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 647949 | Zbl 0493.53027

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