$mathscr Q$-集合及其朋友们：范畴构造与范畴性质

摘要：关于$mathscrQ$-集合和函数态射的这个工作主要是涉及到引入的类别，其中$mathscrQ$是一个交换半笛卡尔化的量。我们详细描述了这个完备且余完备类别的极限和余极限，并证明它具有正则子对象的分类器。此外，我们证明它是一个$kappa^+$-局部可表现的类别，其中$kappa=max{|mathscrQ|, aleph\_0)}$并描述了这个类别中的半笛卡尔闭蒙德结构的等级。最后，我们讨论了由于参数化量化集合的定义中涉及的适当态射所引起的“基础变换”问题。在未来的工作中，我们将在由所有Scott完备$mathscrQ$-集合给出的完全子类别中讨论这些问题。

作者：Jos''e Goudet Alvim, Caio de Andrade Mendes, Hugo Luiz Mariano

论文ID：2302.03123

分类：Category Theory

分类简称：math.CT

提交时间：2023-02-08

PDF 下载： 英文版 中文版pdf翻译中