×

zbMATH — the first resource for mathematics

Sur les modeles de la géométrie différentielle synthetique. (French) Zbl 0473.18008

MSC:
18F15 Abstract manifolds and fiber bundles (category-theoretic aspects)
18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
51K10 Synthetic differential geometry
18B25 Topoi
PDF BibTeX XML Cite
Full Text: Numdam EuDML
References:
[1] 1 Artin , M. , Grothendieck topologies, Seminar Notes , Harvard Univ. 1967 . Zbl 0208.48701 · Zbl 0208.48701
[2] 2 Ehresmann , C. , Les prolongements d’une variété différentiable , C. R. A. S. Paris 233 ( 1951 ), pp. 598 , 777 et 1081 . Zbl 0043.17401 · Zbl 0043.17401
[3] 3 Guillemin , V. and Pollack , A. , Differential Topology , Prentice Hall Inc. , New Jersey , 1974 . MR 348781 | Zbl 0361.57001 · Zbl 0361.57001
[4] 4 Kock , A. , A simple axiomatics for differentiation , Math. Scand. 40 ( 1977 ), 183 - 193 . Article | MR 453845 | Zbl 0375.12029 · Zbl 0375.12029
[5] 5 Kock , A. and Reyes , G. , Manifolds in formal differential Geometry , Proceed. of the Durham meeting, July 1977 . Lecture Notes in Math. Springer (to appear). MR 555559 | Zbl 0426.14001 · Zbl 0426.14001
[6] 6 Milnor j. W. , Characteristic classes , Ann. Math. Studies , Princeton , n^\circ 76 . · Zbl 1079.57504
[7] 7 Dubuc , E.J. and Reyes , G. , Subtoposes of the ring classifier , Proceed. of the May 1978 Aarhus Open House, Aarhus Lecture Notes ( to appear). MR 552659 | Zbl 0403.18003 · Zbl 0403.18003
[8] 8 Reyes , G. and Wraith , G. , A note on tangent bundles in a category with a ring object , Math. Scand. ( to appear). MR 500146 | Zbl 0392.18011 · Zbl 0392.18011
[9] 9 Weil , A. , Théorie des points proches sur les variétés différentiables , Coll. Topo. et Géo. Diff. , Strasbourg 1953 , 111 - 117 . MR 61455 | Zbl 0053.24903 · Zbl 0053.24903
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.