一个量子范畴中的富集范畴结构：基于量子范畴的序和理想
摘要：量子范畴Q上的有序层概念，称之为“Q-order”，可以通过应用（丰富）范畴结构来定义。这需要一个在量子范畴Q上富余的半范畴理论，可以进行适当的柯西完成。有一个Q-order和理想关系的量子范畴Idl（Q），以及一个Q-order和单调映射的局部有序范畴Ord（Q）；实际上，Ord（Q）= Map（Idl（Q））。特别地，Ord（Omega），其中Omega是一个地点，是基于Omega上层的有序对象的范畴。一般来说，Q-orders可以等效地描述为在Q的分裂幂等补全中富余的柯西完全范畴。应用于地点Omega，这一概念可以扩展和统一之前关于Omega上（有序）层的处理，用Omega-enriched结构来表示。
作者：Isar Stubbe
论文ID：math/0409477
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23