论文标题
强steiner $ω$分类的绝对表征
A categorical characterization of strong Steiner $ω$-categories
论文作者
论文摘要
强壮的Steiner $ω$ - 类别是一类$ω$ - 类别，它们以链综合体的形式接纳代数模型，其形式主义允许进行多个明确的计算。传统上以相关的链综合体表示，定义强steiner $ω$类别的条件是与$ω$ - 分类性直觉有些脱节的。本文的目的是将此类表征为满足环路条件的测谎仪类别，这些条件不能明确使用相关的链复合物，而是依赖于$ω$ - 类别的分类特征。
Strong Steiner $ω$-categories are a class of $ω$-categories that admit algebraic models in the form of chain complexes, whose formalism allows for several explicit computations. The conditions defining strong Steiner $ω$-categories are traditionally expressed in terms of the associated chain complex, making them somewhat disconnected from the $ω$-categorical intuition. The purpose of this paper is to characterize this class as the class of polygraphs that satisfy a loop-freeness condition that does not make explicit use of the associated chain complex and instead relies on the categorical features of $ω$-categories.
