nLab
Gonzalo Reyes
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

blog
Publications
(with
Ieke Moerdijk
),
Models for Smooth Infinitesimal Analysis
on
synthetic differential geometry
category:
people
Revised on July 26, 2011 14:09:29 by
Urs Schreiber
(89.204.153.120)
Edit

Back in time
(3 revisions)

See changes

History
 Views:
Print

TeX

Source
 Linked from:
dichotomy between nice objects and nice categories
,
topos
,
smooth algebra
,
logic
,
coherent logic
,
synthetic differential geometry
,
Ehresmann connection
,
tangent bundle
,
Models for Smooth Infinitesimal Analysis
,
infinitesimal object
,
2009 September changes
,
Ieke Moerdijk
,
de Rham theorem
,
distribution
,
amazing right adjoint
,
microlinear space
,
integration axiom
,
Tietze extension theorem
,
covariant derivative
,
Riemannian metric
,
LeviCivita connection
,
canonical topology
,
smooth natural numbers
,
Hadamard lemma
,
infinitesimal number
,
Como
,
convenient vector space
,
Cahiers topos
,
Lie derivative
,
parallel transport
,
geometric category
,
Einstein equation
,
Borel's theorem
,
abstract general, concrete general and concrete particular
,
JeanPierre Marquis