ENGLISH

Synthetic differential geometry

By Anders Kock

Book information

Publisher
Cambridge University Press
Year
1981
ISBN
9780521241380, 0521241383
ISSN
0076-0552
LCC
QA641 .K73 1981
Open Library ID
OL4260460M
Language
english
Format
DJVU
Filesize
2 MB (1841290 bytes)
Series
London Mathematical Society lecture note series 51
Pages
160\160
Library
Kolxo3
DPI
300
Scanned
landscape
Time added
2009-07-20 03:45:11

Description

Synthetic Differential Geometry is a method of reasoning in differential geometry and differential calculus, based on the assumption of sufficiently many nilpotent elements on the number line, in particular numbers d such that d2=0. The use of nilpotent elements allows one to replace the limit processes of calculus by purely algebraic calculations and notions. For the first half of the book familiarity with differential calculus and abstract algebra is presupposed during the development of results in calculus and differential geometry on a purely axiomatic/synthetic basis. In the second half basic notions of category theory are presumed in the construction of suitable Cartesian closed categories and the interpretation of logical formulae within them. This is a second edition of Kock's classical text from 1981. Many notes have been included, with comments on developments in the field from the intermediate years, and almost 100 new bibliographic entries have been added.

Similar books