On a synthetic proof of the Ambrose-Palais-Singer theorem for infinitesimally linear spaces
Bunge, Marta
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 28 (1987), p. 127-142 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1987-01-01
@article{CTGDC_1987__28_2_127_0,
     author = {Bunge, Marta},
     title = {On a synthetic proof of the Ambrose-Palais-Singer theorem for infinitesimally linear spaces},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     volume = {28},
     year = {1987},
     pages = {127-142},
     mrnumber = {913968},
     zbl = {0628.18005},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CTGDC_1987__28_2_127_0}
}

Bunge, Marta. On a synthetic proof of the Ambrose-Palais-Singer theorem for infinitesimally linear spaces. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 28 (1987) pp. 127-142. http://gdmltest.u-ga.fr/item/CTGDC_1987__28_2_127_0/

1, W. Ambrose, R.S. Palais & I.M. Singer, Sprays, Anais da Acad, Bras, de Ciencias, 32-2 (1960). 163-178. | MR 126234 | Zbl 0097.37904

2, F. Bergeron, Objets infinitésimalement linéaires dans un modèle bien adapté de G. D.S., in; Géométrie Différenteille Synthétique, Ed, G, E, Reyes, Rapport des recherches DMS 80-12, Univ, Montréal, 1980,

3, M. Bunge & E. Dubuc, Local concepts in SDG and germ representability, In: Mathematical Logic and Theoretic Computer Science, Eds, E, G, K, Lopez Escobar & al., Marcel Dekker Inc., New York, 1987, 93-159, | MR 930679 | Zbl 0658.18004

4, M. Bunge & M. Heggie, Synthetic Calculus of variations, in: Mathematical applications of Category theory, Ed, J, W, Gray, Contemporary Math, vol, 30, A, M, S, 1984, 30-62, | MR 749768 | Zbl 0582.18006

5, M. Bunge & P. Sawyer, On connections, geodesics and sprays in SDG, Cahiers Top, et Géom, Diff, Categ, XXV-3 (1984), 221-257, | Numdam | MR 786551 | Zbl 0582.18007

6, C. Ehresmann, Les prolongements d'une variété différentiable, I, II, III, C, R, A, S Paris 1951; reprinted in Charles Ehresmann: Oeuvres complètes et commentées, Part I, Amiens, 1984,

7, C. Godbillon, Géométrie Différentielle et Mécanique Analytique, Hermann, Paris, 1969, | MR 242081 | Zbl 0174.24602

8, P.T. Johnstone, Topos Theory, London Math, Soc, Monograph 10, Academic Press, 1977, | MR 470019 | Zbl 0368.18001

9, A. Kock & G.E. Reyes, Connections in formal Differential geometry, Aarhus Math, Inst, Var, Pub, Series 30 (1979), | MR 552662 | Zbl 0418.18008

10, A., Kock, Synthetic Differential Geometry, Cambridge University Press, 1981, | MR 649622 | Zbl 0466.51008

11, A. Kock, Remarks on connections and sprays, in: Category theoretic methods in Geometry, Aarhus Math, Inst, Var, Pub, Series 35 (1983), | MR 739545 | Zbl 0552.58001

12, A. Kock & R. Lavendhomme, Strong infinitesimal linearity, with applications to strong difference and affine connections, Cahiers Top, et Géom, Diff, Categ, XXV-3 (1984), 311-324, | Numdam | MR 786554 | Zbl 0564.18009

13, S., Maclane, Categories for the working mathematician, Graduate texts in Math, 5, Springer, 1971, | MR 354798 | Zbl 0232.18001

14, S., Lang, Introduction to differentiable manifolds, Interscience, 1962, | MR 155257 | Zbl 0103.15101

15, F.W. Lawvere, Categorical Dynamics, Aarhus Math, Inst, Var, Pub, Series 30 (1979), 1-29, | MR 552656 | Zbl 0403.18005

16, I. Moerdijk & G.E. Reyes, Connections on microlinear spaces, Rapport des recherches, DMS 85-3, Univ, de Montréal (1985),

17, I. Moerdijk & G.E. Reyes, On the relation between connections and sprays, Univer, of Amsterdam, Math, Inst, Report 85-18 (1985),

18, L.N. Patterson, Connections and prolongations, Can, J Math, XXVII-4 (1975), | MR 385743

19, W.A. Poor, Differential geometrie structures, McGraw Hill, 1981, | MR 647949 | Zbl 0493.53027

20, B. Veit-Riccioli, Structures on iterated tangent bundles, manuscript, 1981,

21, A. Weil, Théorie des points proches sur les variétés différentiables, Coll, Inter, Top, et Géom Diff, Strasbourg, C, N, R, S, (1953), | MR 61455 | Zbl 0053.24903