A much larger class of Frolicher spaces than that of convenient vector spaces may embed into the Cahier topos - Mathematics > Differential GeometryReport as inadecuate




A much larger class of Frolicher spaces than that of convenient vector spaces may embed into the Cahier topos - Mathematics > Differential Geometry - Download this document for free, or read online. Document in PDF available to download.

Abstract: It is well known that the category of Frolicher spaces and smooth mappings isCartesian closed. The principal objective in this paper is to show that thefull subcategory of Frolicher spaces that believe in fantasy that every Weilfunctor is really an exponentiation by the corresponding infinitesimal objectis also Cartesian closed. Under the assumption that a conjecture holds, it isshown that these Frolicher spaces embed into the Cahier topos with theCartesian closed structure being preserved.



Author: Hirokazu Nishimura

Source: https://arxiv.org/







Related documents