摘要：关于Kleisli构造的一种解释（由Miranda给出，与Par'e的工作有关）是将一个单子$P$发送到$P$的Kleisli双范畴。 在本文中，我们发现了关于单子的更一般的神经构造，这也给出了完全忠实的神经2-函子$mathbf{Mnd}left(mathcal{K} ight) omathbf{Dbl}$.
作者：Charles Walker
论文ID：2204.07606
分类：Category Theory
分类简称：math.CT
提交时间：2022-04-19
PDF 下载： 英文版 中文版pdf翻译中