Publication:3209304
From MaRDI portal
zbMath0722.18004MaRDI QIDQ3209304
Publication date: 1990
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1990__31_3_245_0
synthetic differential geometry; Whitney topology; sheaves; functional convergence; smooth topoi; analysis in ringed topoi; convergence with subsequences; gros topos; internal Cauchy sequences
18B25: Topoi
18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
51K10: Synthetic differential geometry
18F15: Abstract manifolds and fiber bundles (category-theoretic aspects)
58A03: Topos-theoretic approach to differentiable manifolds
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Smooth spaces versus continuous spaces in models for synthetic differential geometry
- A smooth version of the Zariski topos
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Théorie des modeles et faisceaux
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Topologies for function spaces
- C ∞ -Schemes