Strong infinitesimal linearity, with applications to strong difference and affine connections
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 25 (1984) no. 3, p. 311-324
@article{CTGDC_1984__25_3_311_0,
     author = {Kock, Anders and Lavendhomme, Ren\'e},
     title = {Strong infinitesimal linearity, with applications to strong difference and affine connections},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {25},
     number = {3},
     year = {1984},
     pages = {311-324},
     zbl = {0564.18009},
     mrnumber = {786554},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1984__25_3_311_0}
}
Kock, A.; Lavendhomme, R. Strong infinitesimal linearity, with applications to strong difference and affine connections. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 25 (1984) no. 3, pp. 311-324. http://www.numdam.org/item/CTGDC_1984__25_3_311_0/

1 F. Bergeron, Objet infinitésimalement linéaire dans un modèle adapté de GDS, in: Géométrie Différentielle Synthétique, ed. G. Reyes, Rapport de Recherches. DMS 80-12, Univ. de Montréal: 1980.

2 M. Bunge & P. Sawyer, On connections, geodesics and sprays in synthetic differential geometry, Cahiers Top. et Géom. Diff., this issue ; preliminary version in: Category Theoretic Methods in Geometry, Aarhus Var. Publ. Series 35 (1983). | MR 739541 | Zbl 0568.18006

3 A. Kock, Properties of well-adapted models for synthetic differential geometry, J. Pure Appl. Algebra 20 (1981), 55-70. | MR 596153 | Zbl 0487.18006

4 A. Kock, Synthetic differential geometry, London Math. Soc., Lecture Notes Series 51, Cambridge 1981. | MR 649622 | Zbl 0466.51008

5 A. Kock, Remarks on connections and sprays, in: Category Theoretic Methods in Geometry, Aarhus Var. Publ. Ser. 35 (1983). | MR 739539 | Zbl 0552.58001

6 A. Kock & G.E. Reyes, Manifolds in formal differential geometry, in:Applications of Sheaves, Lecture Notes in Math. 753, Springer (1979). | MR 555559 | Zbl 0426.14001

7 A. Kock & G.E. Reyes, Connections in formal differential, geometry, in: Topos Theoretic Methods in Geometry, Aarhus Var. Publ. Ser. 30 (1979). | MR 552655 | Zbl 0418.18008

8 A. Kock, G.E. Reyes & B. Veit, Forms and integration in synthetic differential geometry, Aarhus Preprint Series 31, 1979 -80. | MR 552662 | Zbl 0465.51005

9 I. Kolař, Fundamental vector fields on associated fibre bundles, Casopis pro pest. mat. 102 (1977), 419-425. | MR 482887 | Zbl 0374.58003

10 I. Kolař, On the second tangent bundle and generalized Lie derivatives, Tensor N.S. 38 (1982), 98-102. | MR 832633 | Zbl 0512.58002

11 R. Lavendhomme, Notes sur l'algèbre de Lie d'un groupe de Lie en geometrie différentielle synthétique, Rapport 111, Inst. de Math., Louvain-La-Neuve (1981).

12 P. Libermann, Sur la géométrie des prolongements des espaces fibrés vectoriels, Ann. Inst. Fourier, Grenoble 14 (1964), 145-172. | Numdam | MR 167925 | Zbl 0126.38201

13 G.E. Reyes& G.C. Wraith, A note on tangent bundles in a category with a ring object, Math. Scand. 42 (1978), 53-63. | MR 500146 | Zbl 0392.18011

14 J.E. White, The method of iterated tangents, with applications in local Riemannian geometry, Pitman 1982. | MR 693620 | Zbl 0478.58002