scientific article
From MaRDI portal
Publication:3209304
zbMath0722.18004MaRDI QIDQ3209304
Publication date: 1990
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1990__31_3_245_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
synthetic differential geometryWhitney topologysheavesfunctional convergencesmooth topoianalysis in ringed topoiconvergence with subsequencesgros toposinternal Cauchy sequences
Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Synthetic differential geometry (51K10) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15) Topos-theoretic approach to differentiable manifolds (58A03)
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item