Smooth spaces versus continuous spaces in models for synthetic differential geometry

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

Ieke Moerdijk, Gonzalo 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

locale; synthetic differential geometry; Grothendieck topology; Dubuc model; \(C^{\infty}\)-rings; adjoint retraction of toposes; Euclidean topos; germ-determined ideals; ideals of smooth functions; model for intuitionistic analysis; smooth reals

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

18B25: Topoi

03F55: Intuitionistic mathematics

18F10: Grothendieck topologies and Grothendieck topoi

18F15: Abstract manifolds and fiber bundles (category-theoretic aspects)

Related Items

Unnamed Item, 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, 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