×
Kock, Anders

Formal manifolds and synthetic theory of jet bundles. (English) Zbl 0434.18012

Cah. Topol. Géom. Différ. 21, 227-246 (1980).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0434.18012

Cited in 2 Reviews
Cited in 6 Documents

MSC:

18F15 Abstract manifolds and fiber bundles (category-theoretic aspects)
58A20 Jets in global analysis
18B25 Topoi
18A40 Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)

Keywords:

formal manifolds; synthetic theory of jet bundles; topos; jet of sections; leftadjoint; groupoid
Cite Review PDF
Full Text: Numdam EuDML

References:

[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 . Numdam | MR 557083 | Zbl 0473.18008 · Zbl 0473.18008
[2] 2 C. Ehresmann , Les connexions infinitésimales dans un espace fibré différentiable , Colloque Topologie Bruxelles 1950 , CBRM , 29 - 55 . MR 42768 | Zbl 0054.07201 · Zbl 0054.07201
[3] 3 C. Ehresm Ann , Calcul des jets , C. R. A. S. Paris 233 ( 1951 ), 598 . MR 44198
[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 . · Zbl 0070.40102
[5] 5 C. Ehresmann , Catégories topologiques et catégories différentiables, Coll. Géom. Diff. Globale Bruxelles 1958 , CBRM , 137 - 150 . MR 116360 | Zbl 0205.28202 · Zbl 0205.28202
[6] 6 C. Ehresmann , Grupoides diferenciables y pseudogrupos de Lie , Rev. Un. Mat. Argentina 19 ( 1960 ), 48 .
[7] 7 C. Ehresmann , Prolongements des catégories différentiables , Cahiers Topo. et Géom, Diff. VI ( 1964 ). Numdam | MR 179225 | Zbl 0192.10102 · Zbl 0192.10102
[8] 8 P. Johnstone , Topos Theory , Academic Press , London , 1977 . MR 470019 | Zbl 0368.18001 · Zbl 0368.18001
[9] 9 A. Kock , A simple axiomatics for differentiation , Math. Scand. 40 ( 1977 ), 183 - 193 . Article | MR 453845 | Zbl 0375.12029 · Zbl 0375.12029
[10] 10 A. Kock , Taylor series calculus for ring objects of line type, J. Pure & Appl . Algebra 12 ( 1978 ), 271 - 293 . MR 501073 | Zbl 0394.14003 · Zbl 0394.14003 · doi:10.1016/0022-4049(87)90006-5
[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 . MR 552661 | Zbl 0418.18007 · Zbl 0418.18007
[12] 12 A. Kock , Properties of well-adapted models for synthetic differential geometry , J. Pure & Appl. Algebra ( to appear). MR 596153 | Zbl 0487.18006 · Zbl 0487.18006 · doi:10.1016/0022-4049(81)90048-7
[13] 13 A. Kock & G.E. Reyes , Manifolds in formal differential geometry , Lecture Notes in Math. 753 , Springer ( 1977 ), 514 - 533 . MR 555559 | Zbl 0426.14001 · Zbl 0426.14001
[14] 14 A. Kumpera & D. Spencer , Lie equations , Annals of Math. Studies 73 , Princeton ( 1972 ). Zbl 0258.58015 · Zbl 0258.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éal 1971 , 7 - 108 . MR 356117 | Zbl 0248.53031 · Zbl 0248.53031
[16] 16 B. Malgrange , Equations de Lie I-II , J. Diff. Geom. 6 ( 1972 ), 503 - 522 ; 7 ( 1972 ), 117 - 141 . MR 326784 | Zbl 0264.58009 · Zbl 0264.58009
[17] 17 Ngovanque , Du prolongement des espaces fibrés et des structures infinitésimales , Ann. Institut Fourier 17 , Grenoble ( 1967 ), 157 - 223 . Numdam | MR 221416 | Zbl 0157.28506 · Zbl 0157.28506 · doi:10.5802/aif.255
[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 . MR 500146 | Zbl 0392.18011 · Zbl 0392.18011
[19] 19 J. Verdier , Fonctorialité de s catégories de faisceaux , SGA 4, Exposé III Lecture Notes in Math. 269 , Springer . Zbl 0256.18007 · Zbl 0256.18007
[20] 20 P. Ver E Ecke , Introduccion a las conexiones de orden superior , Fac. Cienc. de Zaragoza , 1968 . MR 238213
[21] 21 Topos theoretic methods in Geometry, A collection of articles ed. A. KOCK, Aarhus Var. Publ. Series 30 , 1979 . MR 552655 | Zbl 0396.00004 · Zbl 0396.00004
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.