Hrushovski 群胚-覆盖对应中的函子性与一致性
逻辑
2017-11-10 v1
摘要
Hrushovski 在 ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics, 2012] 中建立的 theory 中可定义连通群胚与 的内部广义虚排序之间的对应，在此以两种方式加以推广：首先，证明该对应事实上关于适当的态射概念是一个范畴等价。其次，证明该范畴等价在可定义族中一致地变化，关于这些范畴的适当相对化。文中也包含对 Hrushovski 原始构造的一些阐述。
引用
@article{arxiv.1711.03531,
title = {Functoriality and uniformity in Hrushovski's groupoid-cover correspondence},
author = {Levon Haykazyan and Rahim Moosa},
journal= {arXiv preprint arXiv:1711.03531},
year = {2017}
}