2范畴的单子的普遍性质是什么？
摘要：关于2范畴$ \mathcal{K} $，我们考虑Street的Mnd($ \mathcal{K} $)中的monad范畴，以及Lack和Street的EM($ \mathcal{K} $)和它们之间的identity-on-objects-and-1-cells的2函子 Mnd($ \mathcal{K} $) $ o $ EM($ \mathcal{K} $)。我们证明了这个2函子可以作为2函子 $ 1: \mathcal{K} o \mathcal{K}$ 的“自由扩展”而得到。我们将作为在对象和1态射上都作为恒等函子的2函子看作是在一类笛卡尔闭范畴$ \mathbf{BO} $上富集的范畴，并且发展了一些$ \mathbf{BO} $富集范畴的理论。
作者：Stephen Lack and Adrian Miranda
论文ID：2211.02210
分类：Category Theory
分类简称：math.CT
提交时间：2022-11-07