References
Published online by Cambridge University Press: 16 March 2018
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Synthetic Differential Topology , pp. 215 - 220Publisher: Cambridge University PressPrint publication year: 2018
References
[2] , Normal forms of functions in the neighbourhood of degenerate critical points, Uspekhi Matematicheskykh Nauk 29 (1974) 11–49, Russian Mathematical Surveys 29 19–48.Google Scholar
[3] , Singularity Theory, in: (ed.), Development of Mathematics: 1950 - 2000, Birkhäuser, Basel-Boston-New York (2000) 127–152.Google Scholar
[4] , , , Theórie des Topos et Cohomologie Étale des Schémas Lect. Notes in Math. 269 Exposé IV. Springer-Verlag, Berlin, 1972.
[6] and , Toposes, Triples and Theories, Springer-Verlag, New York-Berlin-Heilderberg-Tokyo, 1985.Google Scholar
[7] , Five stages of accepting constructive mathematics, Bull. Amer. Math. Soc. 54-3 (2017) 481–498.Google Scholar
[8] , Calcul Infinitesimal en Géométrie Différentielle Synthétique, M.Sc. Thesis, Université de Montréal, 1981.Google Scholar
[9] and , Differential Geometry: Manifolds, Curves, and Surfaces, Springer-Verlag, Berlin-Heidelberg-New York, 1988.Google Scholar
[10] , Objets infinitésimalment linéaires dans un modele bien adapté de la G.D.S., in: (ed.), Géométrie Différentielle Synthétique, Rapports de Recherche, DMS 80-12, Université de Montréal, 1980.Google Scholar
[12] , Handbook of Categorical Algebra 3, Cambridge University Press, 1994.
[14] , Logical opens of exponential objects, Cahiers de Top. et Géom. Diff. Catégoriques 26 (1985) 311–323.Google Scholar
[15] , Vector fields on RR in well adapted models of synthetic differential geometry, J. Pure Appl. Algebra 45 (1987) 1–14.Google Scholar
[16] , Categories of Set-Valued Functors, Ph.D. Thesis, University of Pennsylvania, 1966.Google Scholar
[17] , Relative functor categories and categories of algebras, J. Algebra 11 (1969) 64–101.Google Scholar
[18] , Internal presheaf toposes, Cahiers de Top. et Géom. Diff. Catégoriques 18-3 (1977) 291–330.Google Scholar
[22] , On a synthetic proof of the Ambrose-Palais-Singer theorem for infinitesimally linear spaces, Cahiers de Top. et Géom. Diff. Catégoriques 28-2 (1987) 127–142.Google Scholar
[24] and , Archimedian local C∞-rings and models of Synthetic Differential Geometry, Cahiers de Top. et Géom. Diff. Catégoriques 27-3 (1986) 3–22.Google Scholar
[25] and , Local concepts in SDG and germ representability, in: et al. (eds) Mathematical Logic and Theoretical Computer Science, Marcel Dekker, New York and Basel, 1987, 93–159.Google Scholar
[26] and , Synthetic aspects of C∞-mappings II : Mather's theorem for infinitesimally represented germs, J. Pure Appl. Algebra 55 (1988) 213–250.Google Scholar
[27] and , Synthetic calculus of variations, Contemporary Mathematics 30 (1984) 30–62.Google Scholar
[28] and , On connections, geodesics and sprays in synthetic differential geometry, Cahiers de Top. et Géom. Diff. Catégoriques 25 (1984) 221–258.Google Scholar
[30] , The Euler operator, Archive for Rational Mechanics and Analysis 75 (1981) 175–191.Google Scholar
[31] , Adjoint triangles, in: Reports of the Midwest Category Seminar II, Lect. Notes in Math. 69 (1968) 69–91.Google Scholar
[32] , Sur les modèles de la géométrie differentielle synthétique, Cahiers de Top. et Géom. Diff. Catégoriques 20 (1979) 231–279.Google Scholar
[33] , Schémas C∞, in [100], (1981) Exposé 3, pp 16–41.
[34] , C∞-schemes, American J. Math. 103–104 (1981) 683–690.
[35] , Germ representability and local integration of vector fields in a well adapted model of SDG, J. Pure Appl. Algebra 64 (1990) 131–144.Google Scholar
[36] and , Objects compacts dans les topos, J. Austral. Math. Soc. A-40 (1986) 203–217.Google Scholar
[37] and , Subtoposes of the ring classifier, in: (ed.), Topos Theoretic Methods in Geometry, Various Publications Series 30, Matematisk Institut, Aarhus Universitet, 1979, 101–122.Google Scholar
[38] and , Analytic rings, Cahiers de Top. et Géom. Diff. Catégoriques 24 (1983) 225–265.Google Scholar
[40] , Les prolongements d'une variété différentiable I, II, III, C. R. Acad. Sc. Paris (1951), Reprinted in Charles Ehresmann : Oeuvres Complêtes et Commentées. Part I, Amiens, 1984.
[41] and , Sheaf models for analysis, in: Applications of Sheaves, Lect. Notes in Math. 753 (1979) 280–301.Google Scholar
[42] , Intrinsic Differential Geometry, Unpublished lecture, Philadelphia, 1983.
[43] , Applications lisses entre espaces et variétés de Frechet, C. R. Acad. Sci. Paris Ser. I Math 293 (1981) 125–127.Google Scholar
[44] , Internal Weak Opens, Internal Stability and Morse Theory for Synthetic Germs, Ph.D. Thesis, McGill University, 1988.Google Scholar
[45] , Morse Germs in SDG, in: Categorical Algebra and its Applications, Lect. Notes in Math. 1348 (1988) 125–129.Google Scholar
[46] , Singularités dans la Géométrie Différentielle Synthétique, Bull. Soc. Math. Belgique 41 (1989) 279–287.Google Scholar
[47] and , Stable Mappings and their Singularities, Springer-Verlag, New York-Heidelberg-Berlin, 1973.Google Scholar
[48] and , Stratified Morse Theory, Springer-Verlag, New York-Heidelberg-Berlin, 1987.Google Scholar
[50] , Concepts of general topology in constructive mathematics and sheaves, Annals of Math, Logic. 20 (1981) 1–41.Google Scholar
[52] , An Approach to Synthetic Variational Theory, M.Sci. Thesis, McGill University, 1982.Google Scholar
[54] , Differential Topology, Graduate Texts in Mathematics 33, Springer-Verlag, 1976.Google Scholar
[56] , Sketches of an Elephant. A Topos Theory Companion, Volumes 1 and 2, Oxford Science Publications, Oxford Logic Guides 43 44, Clarendon Press, Oxford 2002.Google Scholar
[57] , Les théorèmes de Chevalley-Tarski el remarques sur l'Algébre constructive, Cahiers de Top. et Géom. Diff. Catégoriques 16 (1975) 256–258.Google Scholar
[59] , Universal projective geometry via topos theory, J. Pure Appl. Algebra 9 (1976) 1–24.Google Scholar
[60] , Formal manifolds and synthetic theory of jet bundles, Cahiers de Top. et Géom. Diff. Catégoriques 21 (1980) 227–246.Google Scholar
[61] , Synthetic Differential Geometry (First and Second Editions), Cambridge University Press, 1981 and 2006.Google Scholar
[62] , Synthetic characterization of reduced algebras, J. Pure Appl. Algebra 36 (1985) 273–279.Google Scholar
[63] and , Strong infinitesimal linearity, with applications to strong difference and affine connections, Cahiers de Top. et Géom. Diff. Catégoriques 25-3 (1984) 311–324.Google Scholar
[64] and , Manifolds in formal differential geometry, in: Applications of Sheaves. Proceedings, Durham 1977, Lect. Notes in Math. 753 (1979) 514–533.Google Scholar
[65] and , Connections in Formal Differential Geometry, in: (ed.), Topos Theoretic Methods in Geometry, Various Publications Series 30, Matematisk Institut, Aarhus Universitet, 1979, 158–195.Google Scholar
[66] and , Aspects of fractional exponent functors, Theory and Applications of Categories 5 (1999) 251–265.Google Scholar
[67] , Semantical analysis of intuitionistic logic, in: and (eds.), Formal Systems and Recursive Functions, North-Holland, Amsterdam, 1965, 92–130.Google Scholar
[68] , Introduction to Differentiable Manifolds, Interscience Publishers, New York London Sydney, 1967.Google Scholar
[69] , Basic Concepts of Synthetic Differential Geometry, Kluwer Academic Publishers, 1996.Google Scholar
[70] , Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A. 50 (1963) 869–872.Google Scholar
[71] , An elementary theory of the category of sets, Proc. Nat. Acad. Sci. U.S.A. 52 (1964) 1506–1511.Google Scholar
[72] , Categorical Dynamics, Talk at the University of Chicago, May 1967, in: (ed.), Topos Theoretic Methods in Geometry, Various Publications Series 30, Matematisk Institut, Aarhus Universitet, 1979, 1–28.Google Scholar
[73] , Quantifiers and sheaves, Actes du Congrès International des Mathématiciens, Nice 1970, 329–334.
[74] , Towards the description in the smooth topos of the dynamically possible notions and deformations in a continuous body, Cahiers de Top. et Géom. Diff. Catégoriques 21 (1980) 377–392.Google Scholar
[75] , Tiny objects, Unpublished talk at Aarhus University, June 1983.
[76] , Outline of Synthetic Differential Geometry, Unpublished 1988. Available from http://www.acsu.buffalo.edu/wlawvere/SDG Outline.pdf. Accessed 8 March 2017.
[77] , Comments on the development of topos theory, in: (ed.), Development of Mathematics 1950-2000, Birkhäuser, Basel-Boston-Berlin, 2000, 715–734.Google Scholar
[78] , Categorical algebra for continuum microphysics, J. Pure Appl. Algebra 175 (2002) 267–287.Google Scholar
[79] , Elementary Categories, Elementary Toposes, Oxford Logic Guides 21, Oxford University Press, 1995.
[80] and , First-order Categorical Logic, Lect. Notes in Math. 611, Springer-Verlag, 1977.
[82] , Singularities of Smooth Functions and Maps, Cambridge University Press, Cambridge, 1982.Google Scholar
[83] , Stability of C∞-mappings I : The division theorem, Annals of Mathematics 87-1 (1969) 89–104.Google Scholar
[84] , Stability of C∞-mappings II : Infinitesimal stability implies stability, Annals of Mathematics 89-2 (1969) 254–291.Google Scholar
[85] , Stability of C∞-mappings III : Finitely determined map germs, Pub. Sci. I.H.E.S. 35 (1969) 127–156.Google Scholar
[86] , Categories for the Working Mathematician (Second edition), Springer-Verlag, Berlin-Heidelberg-New York, 1997.Google Scholar
[87] , Morse Theory, Annals of Mathematical Studies 51, Princeton University Press, Princeton, N.J., 1969.Google Scholar
[88] and , Characteristic Classes, Annals of Mathematical Studies 76, Princeton University Press, Princeton, N.J., 1974.Google Scholar
[89] and , Smooth spaces versus continuous spaces in models for Synthetic Differential Geometry, Report 83-02, University of Amsterdam, 1983.Google Scholar
[94] , Infinitésimaux et intuitionisme, Cahiers de Top. et Géom. Diff. Catégoriques 22 (1980) 67–72.Google Scholar
[95] , Le théoreme d'inversion locale en géométrie algébrique, Lecture given at Louvain-la-Neuve, Journées de faisceaux et logique, May 1982.
[96] , De l'Infinitésimal au Local, Thése de Doctorat d'Etât, Université Paris VII, 1985, Diagrammes, Paris VII, 1985.Google Scholar
[99] and , Smooth functors and synthetic calculus, in: and (eds.), The L.E.J. Brower Centenary Symposium, North-Holland, Amsterdam-New York-Oxford, 1982, 377–396.Google Scholar
[100] , (ed.), Géométrie Différentielle Synthétique, Rapports de Recherche du Département des Mathématiques et Statistiques 80-11, 80–12, Université de Montréal, 1980.
[101] , A remark of M. Makkai on Postulate WA2 [25, 35]. Private communication, July 14, 2009.
[103] , Estabilidad Transversal de Gérmenes Representables Infinitesimalmente, Ph.D. Thesis, Universidad de Santiago de Compostela, 1999.
[104] , The measure of critical values of differentiable maps, Bull. Amer. Math. Soc. 48 (1942) 883–890.Google Scholar
[106] , Une lemme sur les applications différentiables, Bol. Soc. Mat. Mex. 2-1 (1956) 59–71.Google Scholar
[107] , Stabilité Structurelle et Morphogénèse: Essai d'une Théorie Générale des Modèles, Benjamin-Cummings, 1972.Google Scholar
[108] and , Singularities of Differentiable Mappings I, Bonn 1959, Reprinted in: (ed.), Proceedings of Liverpool Singularities Symposium, Lect. Notes in Math. 192, Springer-Verlag, 1972.Google Scholar
[109] , Principles of Intuitionism, Lect. Notes in Math. 95, Springer- Verlag, 1969.
[110] , Stability of Unfoldings, Lect. Notes in Math. 393, Springer- Verlag, 1970.
[111] , Théorie des points proches sur les variétés differentiables, Colloq. Top. et Géom. Diff., Strasbourg, (1963) 111–117.
[113] , On right adjoints to exponential functors, J. Pure Appl. Algebra 45 (1987) 287–304. Corrections to “On right adjoints to exponential functors”, J. Pure Appl. Algebra 58 (1989) 103–105.Google Scholar