论文标题
通过类别理论有限的拉姆西理论
Finite Ramsey Theory through Category Theory
论文作者
论文摘要
我们提出了关于有限拉姆西理论的新类别理论观点。我们的目的如下： - 定义有限的拉姆西理论所需的类别理论观念，以这些概念来陈述这些概念的一般基本ramsey结果（其中各种具体的Ramsey结果是特殊情况），并且 - 在这些一般结果的理论框架内提供了自有的证据。 我们还提供了一般方法的一些具体插图。
We present a new, category theoretic point of view on finite Ramsey theory. Our aims are as follows: -- to define the category theoretic notions needed for the development of finite Ramsey Theory, -- to state, in terms of these notions, the general fundamental Ramsey results (of which various concrete Ramsey results are special cases), and -- to give self-contained proofs within the category theoretic framework of these general results. We also provide some concrete illustrations of the general method.
