@article{CTGDC_1980__21_3_227_0, author = {Kock, Anders}, title = {Formal manifolds and synthetic theory of jet bundles}, journal = {Cahiers de topologie et g\'eom\'etrie diff\'erentielle}, pages = {227--246}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {21}, number = {3}, year = {1980}, mrnumber = {591385}, zbl = {0434.18012}, language = {en}, url = {http://archive.numdam.org/item/CTGDC_1980__21_3_227_0/} }
TY - JOUR AU - Kock, Anders TI - Formal manifolds and synthetic theory of jet bundles JO - Cahiers de topologie et géométrie différentielle PY - 1980 SP - 227 EP - 246 VL - 21 IS - 3 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://archive.numdam.org/item/CTGDC_1980__21_3_227_0/ LA - en ID - CTGDC_1980__21_3_227_0 ER -
%0 Journal Article %A Kock, Anders %T Formal manifolds and synthetic theory of jet bundles %J Cahiers de topologie et géométrie différentielle %D 1980 %P 227-246 %V 21 %N 3 %I Dunod éditeur, publié avec le concours du CNRS %U http://archive.numdam.org/item/CTGDC_1980__21_3_227_0/ %G en %F CTGDC_1980__21_3_227_0
Kock, Anders. Formal manifolds and synthetic theory of jet bundles. Cahiers de topologie et géométrie différentielle, Volume 21 (1980) no. 3, pp. 227-246. http://archive.numdam.org/item/CTGDC_1980__21_3_227_0/
1 Sur les modèles de la Géométrie differentielle synthétique, Cahiers Topo. et Géom. Diff. XX- 3 (1979), 231-279. | Numdam | MR | Zbl
,2 Les connexions infinitésimales dans un espace fibré différentiable, Colloque Topologie Bruxelles 1950, CBRM, 29-55. | MR | Zbl
,3 Calcul des jets, C. R. A. S. Paris 233 (1951), 598. | MR
,4 Sur les connexions d'ordre supérieur, Atti del V Congresso dell'Unione Matem. Ital. P avia Torino (1956), 344-346.
,5 Catégories topologiques et catégories différentiables, Coll. Géom. Diff. Globale Bruxelles 1958, CBRM, 137- 150. | MR | Zbl
,6 Grupoides diferenciables y pseudogrupos de Lie, Rev. Un. Mat. Argentina 19 (1960), 48.
,7 Prolongements des catégories différentiables, Cahiers Topo. et Géom, Diff. VI (1964). | Numdam | MR | Zbl
,8 Topos Theory, Academic Press, London, 1977. | MR | Zbl
,9 A simple axiomatics for differentiation, Math. Scand. 40 (1977), 183-193. | MR | Zbl
,10 Taylor series calculus for ring objects of line type, J. Pure & Appl. Algebra 12 (1978), 271-293. | MR | Zbl
,11 On the synthetic theory of vector fields, in Topos theoretic methods in Geometry, Aarhus Var. Publ. Series 30 (1979), 139-157. | MR | Zbl
,12 Properties of well-adapted models for synthetic differential geometry, J. Pure & Appl. Algebra ( to appear). | MR | Zbl
,13 Manifolds in formal differential geometry, Lecture Notes in Math. 753, Springer (1977), 514-533. | MR | Zbl
& ,14 Lie equations, Annals of Math. Studies 73, Princeton (1972). | Zbl
& ,15 Sur le s prolongements des fibrés principaux et de s groupoïdes différentiables banachiques, in Analyse Globale, Presses Univ. Montréal 1971, 7-108. | MR | Zbl
,16 Equations de Lie I-II, J. Diff. Geom. 6 (1972), 503-522; 7 (1972), 117-141. | MR | Zbl
,17 Du prolongement des espaces fibrés et des structures infinitésimales, Ann. Institut Fourier 17, Grenoble (1967), 157-223. | Numdam | MR | Zbl
,18 A note on tangent bundles in a category with a ring object, Math. Scand. 42 (1978), 53- 63. | MR | Zbl
& ,19 Fonctorialité de s catégories de faisceaux, SGA 4, Exposé III Lecture Notes in Math. 269, Springer. | Zbl
,20 Introduccion a las conexiones de orden superior, Fac. Cienc. de Zaragoza, 1968. | MR
,21 Topos theoretic methods in Geometry, A collection of articles ed. A. KOCK, Aarhus Var. Publ. Series 30, 1979. | MR | Zbl