关于一般的主生成 Q-模，特别是偏斜局部同胚
范畴论
2009-05-05 v2
摘要
小量子范畴 Q 上的有序层已通过 Q-富范畴结构定义；它们构成局部有序范畴 Ord(Q)。Ord(Q) 上的自由余完备 KZ 教义以 Q-模的量子范畴 Mod(Q) 作为 Eilenberg-Moore 代数范畴。在本文中，我们给出了 Kleisli 代数的内在描述：我们称之为「局部主生成 Q-模」。我们推导出 Ord(Q) 与局部主生成 Q-模及左伴随模态射的 2-范畴是双等价的。局部主生成模在局部 X 上的例子被完整详细处理：通过将 X-模与切片范畴 Loc/X 的对象相关联，我们证明 X 上的有序层对应于「偏斜局部同胚进入 X」（正如 X 上的层对应于进入 X 的局部同胚）。
引用
@article{arxiv.0802.0097,
title = {On principally generated Q-modules in general, and skew local homeomorphisms in particular},
author = {Hans Heymans and Isar Stubbe},
journal= {arXiv preprint arXiv:0802.0097},
year = {2009}
}
备注
41 pages, revised version accepted for publication