相对伪单子的伪交换性和松弛幂等性
摘要：强关联伪单子和偏换位的相对伪单子拓展了Kock关于强单子和可交换单子的经典工作，以及Hyland和Power关于2-单子的工作。为了实现这一目标，我们在更一般的2-多范畴而不是幺半2-范畴的框架下进行研究。我们证明了与经典工作相似的蕴含关系：强关联伪单子是伪多函子，偏换位的相对伪单子是多范畴伪单子。此外，我们通过扩展Lopez Franco的工作证明了一个松-幂等强关联伪单子是偏换位的。我们将本文的结果应用于预叶子相对伪单子的例子。
作者：Andrew Slattery
论文ID：2304.14788
分类：Category Theory
分类简称：math.CT
提交时间：2023-05-10