正则理论模型上保持滤过余极限的函子
范畴论
2013-07-01 v1
摘要
本文回顾了 Makkai (1990) 给出的正则理论 T 在模型上的集值函子表示，并明确陈述了分类拓扑斯 Set[T] 的表示定理，该定理用保持滤过余极限的函子来表述，可从该论文的结果中推导出来。随后，通过证明在模型空间的某种自然拓扑下，保持滤过余极限等价于作为等变层意义上的“连续”，将该 Set[T] 的表示与 Butz 和 Moerdijk (1998) 风格的拓扑表示进行了比较。利用对原文献中拓扑的轻微变体，我们从这种比较中获得了 Set[T] 的表示，其形式为模型与同态的拓扑范畴，其中受限的模型与同构的拓扑群oid 分类了一个不同的（非正则）理论。
引用
@article{arxiv.1306.6789,
title = {Filtered Colimit Preserving Functors on Models of a Regular Theory},
author = {Henrik Forssell},
journal= {arXiv preprint arXiv:1306.6789},
year = {2013}
}
备注
15 pages