一个比方便向量空间大得多的Frolicher空间类可以嵌入到Captain topos中
A much larger class of Frolicher spaces than that of convenient vector spaces may embed into the Cahier topos
摘要：
众所周知，Frolicher空间和光滑映射范畴是笛卡尔闭的。本文的主要目的是证明Frolicher空间的满子范畴也是笛卡尔闭的，这些空间相信每个Weil函子都是相应无穷小对象的幂乘。假设一个猜想成立，它表明，这些Frolicher空间嵌入到Causaltopos与笛卡尔封闭结构被保存。
英文摘要：
It is well known that the category of Frolicher spaces and smooth mappings is Cartesian closed. The principal objective in this paper is to show that the full subcategory of Frolicher spaces that believe in fantasy that every Weil functor is really an exponentiation by the corresponding infinitesimal object is also Cartesian closed. Under the assumption that a conjecture holds, it is shown that these Frolicher spaces embed into the Cahier topos with the Cartesian closed structure being preserved.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
