A smooth version of the Zariski topos

DOI10.1016/0001-8708(87)90023-5zbMath0648.18006OpenAlexW2048753416MaRDI QIDQ1105021

Gonzalo E. Reyes, Ieke Moerdijk

Publication date: 1987

Published in: Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

Cartesian closed categoryGrothendieck toposinfinitesimalscategory of finite-dimensional smooth manifolds

Mathematics Subject Classification ID

Topoi (18B25) Differentiable manifolds, foundations (58A05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Nonstandard models in mathematics (03H05)

Related Items (7)

\(C^{\infty}\)-algebras from the functional analytic view point ⋮ Saturated models of intuitionistic theories ⋮ Differential spaces of finite type ⋮ Unnamed Item ⋮ Reflection principles for synthetic theories of smooth manifolds ⋮ Unnamed Item ⋮ Smooth spaces versus continuous spaces in models for synthetic differential geometry

Cites Work

• Smooth spaces versus continuous spaces in models for synthetic differential geometry
• Die richtigen Räume für Analysis im Unendlich-Dimensionalen
• C ∞ -Schemes
• Iterated path integrals
• Covering dimension in general spaces
• Non-standard analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A smooth version of the Zariski topos