$\mathscr Q$-集及其相关范畴:范畴构造与范畴性质
范畴论
2023-02-08 v1
摘要
本文主要研究此处引入的 -集与函数态射范畴,其中 是一个交换半笛卡尔quantale。我们详细描述了这一完备且余完备范畴的极限与余极限,并证明其对正则子对象具有分类子。此外,我们证明它是一个 -局部可表现范畴,其中 ,并描述了该范畴中半笛卡尔幺半闭结构的一个层级。最后,我们讨论了由定义 -集所涉及的参数化quantale之间的适当态射所诱导的“基变换”问题。在后续工作中,我们将在由所有Scott完备 -集构成的满子范畴中处理此类问题。
引用
@article{arxiv.2302.03123,
title = {$\mathscr Q$-Sets and Friends: Categorical Constructions and Categorical Properties},
author = {José Goudet Alvim and Caio de Andrade Mendes and Hugo Luiz Mariano},
journal= {arXiv preprint arXiv:2302.03123},
year = {2023}
}