从相干结构到普适性质
摘要：基于允许双模量演算的二范畴$ wocat {K} $，以及与该演算相容的二单子$ T $，我们构造了一个二范畴$ wocat {L} $，以及在其上的二单子$ S $，使得：（1）$ S $具有伴随拟代数性质。（2）$ S $和$ T $的拟代数的二范畴是等价的。因此，一致结构（拟$ T $-代数）被转化为具有普遍特征的结构（伴随拟$ S $-代数）。二范畴$ wocat {L} $由在$ wocat {K} $的双模量范畴上诱导的拟单子的lax代数组成。我们通过可表示性给出了拟$ S $-代数的内在特征刻画。上述转换的两个重要结果是lax和强态射的分类，以及拟代数的相关连贯性结果。我们将该理论应用于内部范畴的背景，并研究幺半型和幺半型胞范畴（包括其幺半型分类器）以及映射到$ Cat $的拟函子。
作者：Claudio Hermida
论文ID：math/0006161
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23