论文标题
弱垂直组成
Weak vertical composition
论文作者
论文摘要
我们研究了唯一的弱点在垂直组成中的半图案三曲酸。对于笛卡尔单体结构，我们将其构建为具有严格函子的生物学类别的类别。由于这些形式是列以列表的一种形式，因此双重化的分类是编织的单体类别。我们表明，这种半刻画的怪癖形式足够弱，可以产生所有编织的单体类别。也就是说，鉴于任何编织的单体类别$ b $都有一个双重化的``垂直较弱''的半图片三曲，其相关编织的单体类别是编织的单型单体，等效于$ b $。
We study semi-strict tricategories in which the only weakness is in vertical composition. We construct these as categories enriched in the category of bicategories with strict functors, with respect to the cartesian monoidal structure. As these are a form of tricategory it follows that doubly-degenerate ones are braided monoidal categories. We show that this form of semi-strict tricategory is weak enough to produce all braided monoidal categories. That is, given any braided monoidal category $B$ there is a doubly-degenerate ``vertically weak'' semi-strict tricategory whose associated braided monoidal category is braided monoidal equivalent to $B$.
