Formal manifolds and synthetic theory of jet bundles

 Access to full text

 Full (PDF)

1. 1 E.J. Dubuc, Sur les modèles de la Géométrie differentielle synthétique, Cahiers Topo. et Géom. Diff.XX- 3 (1979), 231-279. Zbl0473.18008MR557083
2. 2 C. Ehresmann, Les connexions infinitésimales dans un espace fibré différentiable, Colloque Topologie Bruxelles1950, CBRM, 29-55. Zbl0054.07201MR42768
3. 3 C. Ehresm Ann, Calcul des jets, C. R. A. S. Paris233 (1951), 598. MR44198
4. 4 C. Ehresmann, Sur les connexions d'ordre supérieur, Atti del V Congresso dell'Unione Matem. Ital. P avia Torino (1956), 344-346. 
5. 5 C. Ehresmann, Catégories topologiques et catégories différentiables, Coll. Géom. Diff. GlobaleBruxelles1958, CBRM, 137- 150. Zbl0205.28202MR116360
6. 6 C. Ehresmann, Grupoides diferenciables y pseudogrupos de Lie, Rev. Un. Mat. Argentina19 (1960), 48. 
7. 7 C. Ehresmann, Prolongements des catégories différentiables, Cahiers Topo. et Géom, Diff.VI (1964). Zbl0192.10102MR179225
8. 8 P. Johnstone, Topos Theory, Academic Press, London, 1977. Zbl0368.18001MR470019
9. 9 A. Kock, A simple axiomatics for differentiation, Math. Scand.40 (1977), 183-193. Zbl0375.12029MR453845
10. 10 A. Kock, Taylor series calculus for ring objects of line type, J. Pure & Appl. Algebra12 (1978), 271-293. Zbl0394.14003MR501073
11. 11 A. Kock, On the synthetic theory of vector fields, in Topos theoretic methods in Geometry, Aarhus Var. Publ. Series 30 (1979), 139-157. Zbl0418.18007MR552661
12. 12 A. Kock, Properties of well-adapted models for synthetic differential geometry, J. Pure & Appl. Algebra ( to appear). Zbl0487.18006MR596153
13. 13 A. Kock & G.E. Reyes, Manifolds in formal differential geometry, Lecture Notes in Math.753, Springer (1977), 514-533. Zbl0426.14001MR555559
14. 14 A. Kumpera & D. Spencer, Lie equations, Annals of Math. Studies73, Princeton (1972). Zbl0258.58015
15. 15 P. Lib Ermann, Sur le s prolongements des fibrés principaux et de s groupoïdes différentiables banachiques, in Analyse Globale, Presses Univ. Montréal1971, 7-108. Zbl0248.53031MR356117
16. 16 B. Malgrange, Equations de Lie I-II, J. Diff. Geom.6 (1972), 503-522; 7 (1972), 117-141. Zbl0264.58009MR326784
17. 17 Ngovanque, Du prolongement des espaces fibrés et des structures infinitésimales, Ann. Institut Fourier17, Grenoble (1967), 157-223. Zbl0157.28506MR221416
18. 18 G.E. Reyes& G.C. Wraith, A note on tangent bundles in a category with a ring object, Math. Scand.42 (1978), 53- 63. Zbl0392.18011MR500146
19. 19 J. Verdier, Fonctorialité de s catégories de faisceaux, SGA 4, Exposé III Lecture Notes in Math.269, Springer. Zbl0256.18007
20. 20 P. Ver E Ecke, Introduccion a las conexiones de orden superior, Fac. Cienc. de Zaragoza, 1968. MR238213
21. 21 Topos theoretic methods in Geometry, A collection of articles ed. A. KOCK, Aarhus Var. Publ. Series 30, 1979. Zbl0396.00004MR552655

1. Marta Bunge, Models of differential algebra in the context of synthetic differential geometry
2. Anders Kock, Differential forms with values in groups (preliminary report)
3. Anders Kock, Combinatorics of non-holonomous jets