操作代数范畴与d''延移
摘要：Batanin和Markl的操作范畴是每个映射都具有有限集合的“抽象纤维”的范畴，这些抽象纤维也是同一范畴的对象，满足适当的公理。我们利用小范畴上的d''ecalage共态函子D重建了操作范畴的数据和公理。一个简单的情况涉及一元操作范畴，其中每个映射都具有恰好一个抽象纤维，它们被展示为首先是D的余代数范畴，并且进一步是由遗忘-无费伴随构造在D-余代数范畴上诱导的单子的代数范畴。对于一般的操作范畴，可以通过从Cat的箭头范畴上的“修改d''ecalage”共态函子开始的相应分析得到类似的描述。
作者：Richard Garner, Joachim Kock and Mark Weber
论文ID：1812.01750
分类：Category Theory
分类简称：math.CT
提交时间：2021-03-31