通过锥形共完成的'豪斯多夫距离'
摘要：关于qty的增强类别,我 们解释了如何定义每个饱和权重类,以及如何定义, 是由自由完成KZ 原理下基本唯一的 full sub-KZ 原理所定义的. KZ 原理是通过两个简单的 "全完备性" 条件来刻画自由完成的 full sub-KZ 原理. 锥形权重是一个饱和类, 对应的 KZ 原理就是[Akhvlediani et al., 2009] 的豪斯多夫原理的量子纯化类别推广的精确表示.
作者：Isar Stubbe
论文ID：0903.2722
分类：Category Theory
分类简称：math.CT
提交时间：2009-11-05