通过关系提升的广义幂局部
计算机科学中的逻辑
2012-02-16 v1 逻辑
摘要
本文介绍了一个框架范畴上的自函子VT，由集合范畴上的一个满足某些约束的自函子T参数化。这推广了Johnstone的Vietoris幂局部构造，因为他的构造是通过取T为有限协变幂集函子得到的。我们从框架L构造T-幂局部VT L基于共代数逻辑的思想，并明确了Vietoris构造与Moss的共代数覆盖模态之间的联系。我们展示了如何将集合函子之间的某些自然变换扩展到T-幂局部函子之间的自然变换。最后，我们证明了运算VT保留了框架的一些性质，如正则性、零维性以及零维性与紧致性的结合。
引用
@article{arxiv.1202.3264,
title = {Generalized powerlocales via relation lifting},
author = {Yde Venema and Steve Vickers and Jacob Vosmaer},
journal= {arXiv preprint arXiv:1202.3264},
year = {2012}
}
备注
44 pages