局部空间的常规和有效常规范畴
摘要：关于某些空间类别的正则性和有效性的两个著名结果的对应类别的模型进行研究。我们证明了紧正则模型范畴是有效正则（=Barr-exact）。我们还证明了，只要它在Hausdorff模型范畴中是核反射的，那么紧紧生成的Hausdorff模型范畴就是正则的。我们不依赖于点的存在（这样两个结果就变得平凡），而是依赖于著名方法在一个拓扑中内部逻辑的处理方式。在研究紧生成模型范畴的过程中，我们得到了B. Day和R. Street的一个结果的推广，该结果得到了一个具有闭合有限极限和余极限以及满足适当余极限下的限制条件的密集正则子范畴的余完备范畴的正则性。
作者：Panagis Karazeris and Konstantinos Tsamis
论文ID：2004.04404
分类：Category Theory
分类简称：math.CT
提交时间：2020-10-21