预层范畴上保持作用的（弱）拓扑
范畴论
2017-03-03 v2
摘要
设 为一个有限完备小范畴。本文中，我们首先在预层范畴上构造两个弱(Lawvere-Tierney)拓扑。其中之一借助Yoneda函子的子函子建立，另一个则由 上的一个可容许类与预层topos 中的内部存在量词构造。此外，通过使用 上的一个可容许类，我们能够在 的子对象分类器 上定义一个作用。然后，我们找到了 上这两个弱拓扑以及双重否定拓扑 成为保持作用的映射的一些必要条件。最后，除其他结果外，我们构造了 上一个保持作用的弱拓扑。
引用
@article{arxiv.1702.02185,
title = {Action preserving (weak) topologies on the category of presheaves},
author = {Zeinab Khanjanzadeh and Ali Madanshekaf},
journal= {arXiv preprint arXiv:1702.02185},
year = {2017}
}
备注
32pages