Publication:4322440
From MaRDI portal
zbMath0824.18003MaRDI QIDQ4322440
Publication date: 9 November 1995
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1994__35_4_339_0
synthetic differential geometry; ringed space; analytic rings; infinitesimals; non-standard analysis; tangent bundles; ringed topos
18B25: Topoi
18F15: Abstract manifolds and fiber bundles (category-theoretic aspects)
58A03: Topos-theoretic approach to differentiable manifolds
Cites Work