Previous |  Up |  Next

Article

References:
[1] E. Dubuc, A. Kock: Communications in Algebra. 12 (1984), 1471- 1531. DOI 10.1080/00927878408823064 | MR 0744457
[2] C. Ehresmann: Les connexions infinitésimales dans un espace fibré différentiable. in Colloque de Topologie Bruxelles 1950. MR 0042768
[3] A. Kock: Synthetic Differential Geometry. London Math. Society Lecture Notes Series 51, Cambridge University Press 1981. MR 0649622 | Zbl 0487.18006
[4] A. Kock: Differential forms with values in groups. Bull. Austral. Math. Soc. 25 (1982), 357-386. DOI 10.1017/S0004972700005426 | MR 0671484 | Zbl 0484.58005
[5] A. Kock: A combinatorial theory of connections. in Mathematical Applications of Category Theory, Contemporary Mathematics Vol. 30 (1984). DOI 10.1090/conm/030/749772 | MR 0749772 | Zbl 0542.18007
[6] A. Kock: Ehresmann and the fundamental structures of differential geometry seen from a synthetic viewpoint. in C. Ehresmann, Oeuvres Vol. I, Amiens 1984.
[7] A. Kock: Combinatorics of non-holonomous jets. Czechoslovak Mathematical Journal 35 (110) 1985, 419-428. MR 0803037 | Zbl 0594.18010
[8] A. Kock: Combinatorial notions relating to principal fibre bundles. Journ. Pure Appl. Algebra 39 (1986), 141-151. DOI 10.1016/0022-4049(86)90141-6 | MR 0816895 | Zbl 0575.18005
[9] A. Kock: Lie group valued integration in well adapted toposes. Austral. Math. Soc. 34 (1986), 395-410. DOI 10.1017/S0004972700010285 | MR 0866187 | Zbl 0596.18006
[10] B. Malgrange: Equations de Lie. I, Journ. Diff. Geom. 6 (1972), 503-522. DOI 10.4310/jdg/1214430640 | MR 0326784
[11] J. Pradines: Théorie de Lie pour les groupoides différentiables. in Atti del Convegno Intern. di Geom. Diff. Bologna 1967. Zbl 0154.21704
[12] N. V. Quê: Sur les espaces de prolongement différentiable. J. Diff. Geom. 2 (1968), 33-40. DOI 10.4310/jdg/1214501135
Partner of
EuDML logo