The Nest
Explore
Sign in
finegeometer
synthetic-differential-geometry
0
Code
Changes
Tags
Discussions
main
finegeometer
Remove Atomic. Add AtomicWarning.md with explanation.
on February 20, 2022
theories
First commit. Definition of the axioms, some basic infinitesimal spaces, and a few basic concepts. Some theorems have been left unproven.
on February 19, 2022
.ignore
First commit. Definition of the axioms, some basic infinitesimal spaces, and a few basic concepts. Some theorems have been left unproven.
on February 19, 2022
AtomicWarning.md
Remove Atomic. Add AtomicWarning.md with explanation.
on February 20, 2022
Makefile
First commit. Definition of the axioms, some basic infinitesimal spaces, and a few basic concepts. Some theorems have been left unproven.
on February 19, 2022
README.md
Fixes a broken link.
on February 19, 2022
_CoqProject
Remove Atomic. Add AtomicWarning.md with explanation.
on February 20, 2022
README.md
Experimenting with synthetic differential geometry.
Useful book on the subject:
Anders Kock,
Synthetic Differential Geometry
, Cambridge University Press 1981, 2006