范畴的积与拉回的Ramsey性质以及Grothendieck构造
摘要：纯粹范畴证明结构Ramsey理论的两个重要结果：M. Soki''c的结论，即自由乘积的Ramsey类是一个Ramsey类；以及M. Bodirsky、M.Pinsker和T. Tsankov的结论，即在Ramsey类的语言中添加常数保留了Ramsey性质。我们在这里提出的证明忽略了这些陈述的模型论背景。相反，它们着重于通过这些类别构造的构造方法，沿途推广原始陈述。事实证明，对于原始的证明策略，关于关系结构类的限制虽然是基本的，但对于陈述本身并不相关。我们在这里提出的范畴证明消除了对一阶结构签名的所有限制，并提供了关于Ramsey性质以及Ramsey度的信息。
作者：Dragan Mav{s}ulovi''c
论文ID：2204.00829
分类：Category Theory
分类简称：math.CT
提交时间：2023-01-18