凝聚空间与有限性空间
Coherent and finiteness spaces
摘要：
本文给出了凝聚空间与有限性空间之间的一个新的关系。这采取了从COH到FIN的函子的形式，与线性逻辑的加法和乘法结构交换。使这种对应成为可能和概念上有趣的是无限拉姆齐定理的使用。在此过程中，N上有限性空间集合的基数问题得到了回答。假定了相干空间和有限性空间的基本知识。
英文摘要：
This short note presents a new relation between coherent spaces and finiteness spaces. This takes the form of a functor from COH to FIN commuting with the additive and multiplicative structure of linear logic. What makes this correspondence possible and conceptually interesting is the use of the infinite Ramsey theorem. Along the way, the question of the cardinality of the collection of finiteness spaces on N is answered. Basic knowledge about coherent spaces and finiteness spaces is assumed.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
