Publication:3333645
From MaRDI portal
zbMath0544.51014MaRDI QIDQ3333645
Publication date: 1982
functor category model; ideals of flat smooth functions; reasoning in differential geometry; Schwarz distribution; topos theoretic models
03G30: Categorical logic, topoi
18G25: Relative homological algebra, projective classes (category-theoretic aspects)
51K10: Synthetic differential geometry
Related Items
Reflection principles for synthetic theories of smooth manifolds, Algebraic Geometry over 𝐶^{∞}-rings, Smooth spaces versus continuous spaces in models for synthetic differential geometry, 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, Unnamed Item