From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9425 Path: news.gmane.org!.POSTED!not-for-mail From: Marta Bunge Newsgroups: gmane.science.mathematics.categories Subject: For posting (in reduced form) Date: Fri, 10 Nov 2017 19:37:31 -0500 Message-ID: Reply-To: Marta Bunge NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Trace: blaine.gmane.org 1510361707 13467 195.159.176.226 (11 Nov 2017 00:55:07 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 11 Nov 2017 00:55:07 +0000 (UTC) Cc: "marta.bunge@mcgill.ca" To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sat Nov 11 01:55:02 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eDK4a-00039v-RB for gsmc-categories@m.gmane.org; Sat, 11 Nov 2017 01:55:00 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:59711) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1eDK5K-0005u7-MW; Fri, 10 Nov 2017 20:55:46 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1eDK3t-0000g2-Le for categories-list@mlist.mta.ca; Fri, 10 Nov 2017 20:54:17 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9425 Archived-At: Dear fellow category theorists, Our book "Synthetic Differential Topology" (SDT) is set to appear in April 2018, published by Cambridge University Press. The SDT book can be used for a one-semester course or seminar whose only prerequisite is some basic category theory. Those interested in it for this purpose can request CUP for a pre-publication. The details of it are below. http://www.cambridge.org/ca/academic/subjects/mathematics/ logic-categories-and-sets/synthetic-differential-topology?format=PB# b7i2wy1rx8lmYJBP.97 A brief description of the contents of the SDT book follows. In a first part all notions of topos theory and SDG ("Synthetic Differential Geometry") that are needed in the sequel are discussed, with emphasis on the logico-geometric notions. The second part deals with the Ambrose-Palais-Singer theorem on connections and sprays as well as with the calculus of variations, both of them as illustrations of the uses of SDG for classical differential geometry. In a third part, following a discussion of some basic topological structures (intrinsic, euclidean, weak), the basic axioms and postulates of SDT are introduced. Whereas in a model (E, R) of SDG, it is the jets of R-valued mappings on finite powers of R that are represented by (algebraic) tiny objects, if (E, R) is in addition a model of SDT, then it is the germs of R-valued mappings on finite powers of R that are represented by (logical) tiny objects. The fourth part consists of an SDT version of the stability theory of smooth mappings including Mather's theorem (with and without the preparation theorem) and Morse theory. The construction of the Dubuc topos G of germ-determined ideals of smooth mappings is then recalled in the fifth part. In the sixth part it is shown that G is not only a well adapted model of SDG but also one such of SDT. It follows from this that several classical theorems of differential topology can be recovered in greater generality and in a conceptually simpler manner than their classical c ounterparts. There is a comprehensive list of references (both classical and categorical) and an index. With best regards, Marta Bunge [For admin and other information see: http://www.mta.ca/~cat-dist/ ]