Synthetic Differential Geometry

By: Anders Kock

Write A Review

Paperback | 22 June 2006 | Edition Number 2

At a Glance

Paperback
246 Pages

Edition Type
Revised

Dimensions(cm)
22.86 x 15.24 x 1.42

Paperback

RRP $155.95

$139.75

10%OFF

or 4 interest-free payments of $34.94 with

Ships in 5 to 7 business days

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, first published in 2006, 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Applied Mathematics Topology Geometry Differential & Riemannian Geometry

Preface to the Second Edition (2006)	p. vii
Preface to the First Edition (1981)	p. ix
The synthetic theory	p. 1
Basic structure on the geometric line	p. 2
Differential calculus	p. 6
Higher Taylor formulae (one variable)	p. 9
Partial derivatives	p. 12
Higher Taylor formulae in several variables. Taylor series	p. 15
Some important infinitesimal objects	p. 18
Tangent vectors and the tangent bundle	p. 23
Vector fields and infinitesimal transformations	p. 28
Lie bracket - commutator of infinitesimal transformations	p. 32
Directional derivatives	p. 36
Functional analysis. Application to proof of Jacobi identity	p. 40
The comprehensive axiom	p. 43
Order-and integration	p. 48
Forms and currents	p. 52
Currents defined using integration. Stokes' Theorem	p. 58
Weil algebras	p. 61
Formal manifolds	p. 68
Differential forms in terms of simplices	p. 75
Open covers	p. 82
Differential forms as quantities	p. 87
Pure geometry	p. 90
Categorical logic	p. 97
Generalized elements	p. 98
Satisfaction (1)	p. 99
Extensions and descriptions	p. 103
Semantics of function objects	p. 108
Axiom 1 revisited	p. 113
Comma categories	p. 115
Dense class of generators	p. 121
Satisfaction (2)	p. 123
Geometric theories	p. 127
Models	p. 131
Models for Axioms 1, 2, and 3	p. 131
Models for ?-stable geometric theories	p. 138
Axiomatic theory of well-adapted models (1)	p. 143
Axiomatic theory of well-adapted models (2)	p. 148
The algebraic theory of smooth functions	p. 154
Germ-determined T_?-algebras	p. 164
The open cover topology	p. 170
Construction of well-adapted models	p. 175
W-determined algebras, and manifolds with boundary	p. 181
A field property of R and the synthetic role of germ algebras	p. 192
Order and integration in the Cahiers topos	p. 198
Appendices	p. 207
Bibliography	p. 223
Index	p. 231
Table of Contents provided by Ingram. All Rights Reserved.

Synthetic Differential Geometry

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Applied Mathematics

Stochastic Control in Energy, Environmental and Resource Management Applications

Emerging Methodologies and Applications in Modelling, Identification and Control

Applied Multivariate Statistical Analysis

Volume 1

Advances in Numerical Methods and Analysis

The Gamma Function (Advanced Topics in Mathematics)

Advanced Topics in Mathematics

Storytelling with Data

1st Edition - A Data Visualization Guide for Business Professionals

Game Theory

2nd edition

Bird's Engineering Mathematics

9th Edition

Basic Math & Pre-Algebra For Dummies Book + Workbook Bundle

For Dummies Math & Science

Bird's Higher Engineering Mathematics

9th Edition

Introduction to Stochastic Processes

2nd Edition

Essentials of Medical Statistics

2nd Edition

A Mind for Numbers

How to Excel at Math and Science (Even If You Flunked Algebra)

Engineering Mathematics

5th edition

Introduction to Probability

2nd edition

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Life Lessons from Game Theory

The Art of Thinking Strategically in a Complex World

Intermediate Financial Theory

3rd Edition

Elementary Linear Algebra

8th Edition - International Metric Edition

MATLAB

6th Edition - A Practical Introduction to Programming and Problem Solving

Cookbooks (O'Reilly)

Cookbooks (O'Reilly)

Alex's Adventures in Numberland

Tenth Anniversary Edition

Everything Is Predictable

How Bayes' Remarkable Theorem Explains the World

Making Sense of Chaos

A Better Economics for a Better World

This product is categorised by