${sf Q}$-范畴的正式球
摘要：关于量词群（Q-范畴）的球模型的构建问题，Edalat和Heckmann提出了度量空间的正式球模型，并由Kostanek和Waszkiewicz对Q-范畴进行了推广。本文讨论了量词群Q的结构对Q-范畴的Yoneda完备性与其球形球集的有向完备性之间的关系。当Q是区间[0,1]配备连续t-范数&时，结果表明为了使每个Q-范畴的Yoneda完备性与其正式球集的有向完备性相等价，必要且充分条件是t-范数&是Archimedean。
作者：Xianbo Yang, Dexue Zhang
论文ID：2207.08324
分类：Category Theory
分类简称：math.CT
提交时间：2022-10-06