no. 3
Strong infinitesimal linearity, with applications to strong difference and affine connections
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 25 (1984) no. 3, pp. 311-324. 
@article{CTGDC_1984__25_3_311_0,
     author = {Kock, A. and Lavendhomme, R.},
     title = {Strong infinitesimal linearity, with applications to strong difference and affine connections},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {311--324},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {25},
     number = {3},
     year = {1984},
     mrnumber = {786554},
     zbl = {0564.18009},
     language = {en},
     url = {http://archive.numdam.org/item/CTGDC_1984__25_3_311_0/}
}
TY  - JOUR
AU  - Kock, A.
AU  - Lavendhomme, R.
TI  - Strong infinitesimal linearity, with applications to strong difference and affine connections
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1984
SP  - 311
EP  - 324
VL  - 25
IS  - 3
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_1984__25_3_311_0/
LA  - en
ID  - CTGDC_1984__25_3_311_0
ER  - 
%0 Journal Article
%A Kock, A.
%A Lavendhomme, R.
%T Strong infinitesimal linearity, with applications to strong difference and affine connections
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1984
%P 311-324
%V 25
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_1984__25_3_311_0/
%G en
%F 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, Tome 25 (1984) no. 3, pp. 311-324. http://archive.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). | EuDML | MR | Zbl

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

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

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

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

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

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

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

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

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

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

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