关于Dagger 2-范畴中的Frobenius-Eilenberg-Moore对象的注记
摘要：在任意的dagger 2-范畴中，我们为一个dagger Frobenius单子定义Frobenius-Eilenberg-Moore对象，并在dagger背景下扩展一种众所周知的monad形式理论的通用性质。我们证明，如果愿意工作在那些在其自函子部分适当交换其单位的dagger Frobenius单子上，则2-范畴的自由补完扩展到dagger背景中。最后，我们定义dagger松函子和这些函子的dagger松极限，并证明Frobenius-Eilenberg-Moore对象是这些极限的例子。
作者：Rowan Poklewski-Koziell
论文ID：2101.05210
分类：Category Theory
分类简称：math.CT
提交时间：2021-01-14