Smooth spaces versus continuous spaces in models for synthetic differential geometry

DOI10.1016/0022-4049(84)90049-5zbMath0535.18003OpenAlexW2125552585WikidataQ115364462 ScholiaQ115364462MaRDI QIDQ790924

Gonzalo E. Reyes, Ieke Moerdijk

Publication date: 1984

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/24251

zbMATH Keywords

localesynthetic differential geometryGrothendieck topologyDubuc model\(C^{\infty}\)-ringsadjoint retraction of toposesEuclidean toposgerm-determined idealsideals of smooth functionsmodel for intuitionistic analysissmooth reals

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55) Grothendieck topologies and Grothendieck topoi (18F10) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15)

Related Items

Logical opens and real numbers in topoi ⋮ A smooth version of the Zariski topos ⋮ Synthetic aspects of \(C^{\infty}\)-mappings. II: Mather's theorem for infinitesimally represented germs ⋮ Unnamed Item ⋮ Elementary axioms for canonical points of toposes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sheaf models for choice sequences
• A smooth version of the Zariski topos
• Open maps of toposes
• Molecular toposes
• Théorie des modeles et faisceaux
• C ∞ -Schemes

This page was built for publication: Smooth spaces versus continuous spaces in models for synthetic differential geometry