A much larger class of Frolicher spaces than that of convenient vector spaces may embed into the Cahier topos

zbMath1186.51007arXiv0908.0843MaRDI QIDQ3651366

Hirokazu Nishimura

Publication date: 9 December 2009

Full work available at URL: https://arxiv.org/abs/0908.0843

zbMATH Keywords

synthetic differential geometryWeil algebratopos theoryGrothendieck toposCartesian closednessCahiers toposWeil exponentiability

Mathematics Subject Classification ID

Synthetic differential geometry (51K10)

Related Items (1)

Differential Geometry of Microlinear Frölicher Spaces IV-1

This page was built for publication: A much larger class of Frolicher spaces than that of convenient vector spaces may embed into the Cahier topos