Smooth spaces versus continuous spaces in models for synthetic differential geometry

DOI10.1016/0022-4049(84)90049-5MaRDI QIDQ790924zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

\(C^{\infty}\)-ringsadjoint retraction of toposesDubuc modelEuclidean toposgerm-determined idealsGrothendieck topologyideals of smooth functionslocalemodel for intuitionistic analysissmooth realssynthetic differential geometry

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• A smooth version of the Zariski topos
• C ∞ -Schemes
• scientific article; zbMATH DE number 3853067 (Why is no real title available?)
• scientific article; zbMATH DE number 3866080 (Why is no real title available?)
• scientific article; zbMATH DE number 3730851 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
• Molecular toposes
• Open maps of toposes
• Sheaf models for choice sequences
• Théorie des modeles et faisceaux

Cited in

(12)

• Logical opens and real numbers in topoi
• Vector fields on \({\mathbb{R}}^{{\mathbb{R}}}\) in well adapted models of synthetic differential geometry
• A smooth version of the Zariski topos
• Synthetic aspects of \(C^{\infty}\)-mappings. II: Mather's theorem for infinitesimally represented germs
• Three problems concerning ideals of differentiable functions
• Elementary axioms for canonical points of toposes
• scientific article; zbMATH DE number 4189996 (Why is no real title available?)
• scientific article; zbMATH DE number 3843977 (Why is no real title available?)
• scientific article; zbMATH DE number 3920752 (Why is no real title available?)
• scientific article; zbMATH DE number 3941764 (Why is no real title available?)
• scientific article; zbMATH DE number 4055854 (Why is no real title available?)
• scientific article; zbMATH DE number 3993825 (Why is no real title available?)

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)