关于一般情况下的主要生成Q-模以及特殊情况下的斜向局部同胚
摘要：小量子范畴Q上的有序层被定义为Q-丰富的范畴结构；它们形成了一个局部有序范畴Ord(Q)。Ord(Q)上的自由余完备KZ-命题具有Q-模的范畴Mod(Q)作为Eilenberg-Moore代数的范畴。在本文中，我们对Kleisli代数给出了一个内在的描述：我们称之为“局部主要生成的Q-模”。我们推导出Ord(Q)与局部主要生成的Q-模和左伴随模态态射的2-范畴等效。我们详细解释了位于locale X上的局部主要生成模的例子：将X-模与slice范畴Loc/X的对象关联起来，我们展示了X上的有序层与“倾斜局部同胚到X”的对应关系（就像X上的层与局部同胚到X的对应关系一样）。
作者：Hans Heymans and Isar Stubbe
论文ID：0802.0097
分类：Category Theory
分类简称：math.CT
提交时间：2009-05-05