Smooth spaces versus continuous spaces in models for synthetic differential geometry

DOI10.1016/0022-4049(84)90049-5zbMATH Open0535.18003OpenAlexW2125552585WikidataQ115364462 ScholiaQ115364462MaRDI QIDQ790924FDOQ790924

Authors: Ieke Moerdijk, G. E. Reyes 

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

Recommendations

• scientific article
• scientific article
• scientific article; zbMATH DE number 3993825
• Three problems concerning ideals of differentiable functions
• scientific article; zbMATH DE number 4075363

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) Grothendieck topologies and Grothendieck topoi (18F10) Intuitionistic mathematics (03F55) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15)

Cites Work

• Title not available (Why is that?)
• Sheaf models for choice sequences
• C ∞ -Schemes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Open maps of toposes
• Title not available (Why is that?)
• A smooth version of the Zariski topos
• Molecular toposes
• Théorie des modeles et faisceaux
• Title not available (Why is that?)

Cited In (12)

• Logical opens and real numbers in topoi
• Synthetic aspects of \(C^{\infty}\)-mappings. II: Mather's theorem for infinitesimally represented germs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elementary axioms for canonical points of toposes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Vector fields on \({\mathbb{R}}^{{\mathbb{R}}}\) in well adapted models of synthetic differential geometry
• Three problems concerning ideals of differentiable functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• A smooth version of the Zariski topos

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q790924)