抽象初等类的全局方法
逻辑
2014-05-20 v1
摘要
在本工作中，我们提出了一些关于抽象初等类（AECs）的一般范畴论思想，其灵感来源于所有形如 的 AEC 的整体（其中 T 为一阶理论）：(i) 我们定义了 AEC 之间自然的（函子）态射概念；(ii) 探讨了以下 AEC 构造：“广义”理论、AEC 的拉回、作为 AEC 的（Galois）型；(iii) 应用范畴论和拓扑思想将模型论概念编码到型空间上；(iv) 提出了此处称为“局部 Robinson 性质”的 AEC“局部”公理及其一个应用（Robinson 图方法）；(v) 引入了所有 AEC 的 Grothendieck 粘合（含基变换）构成的范畴 ；(vi) 引入了“横向 Robinson 性质”（TRP）和“全局 Robinson 性质”（GRP）的“全局”公理，并证明了 TRP 等价于 GRP，且 GRP 蕴含 Craig 插值性质的一个自然版本。
引用
@article{arxiv.1405.4488,
title = {A global approach to AECs},
author = {Hugo Luiz Mariano and Andrés Villaveces and Pedro Hernan Zambrano},
journal= {arXiv preprint arXiv:1405.4488},
year = {2014}
}
备注
10 pages