Next: Robert Seely - Semantics Up: Applied Logic / Logique Previous: Joachim Lambek - Bilinear
Gonzalo Reyes - Topics in synthetic differential geometrye
| GONZALO REYES, Département de mathématiques, Université de Montréal, Montréal, Québec H3C 3H7 |
| Topics in synthetic differential geometrye |
After an introduction to `synthetic reasoning' used by geometers,
physicists and engineers as a motivation for Synthetic Differential
Geometry (SDG), some special topics in
SDG will be discussed, including
categories of differential equations and, more generally, categories of
prolongations such as sprays, connections, almost complex structures and
the like. The logical basis of
SDG will also be discussed.
