论文标题
概括的神经神经
Generalized nerves of monads
论文作者
论文摘要
Kleisli Construction（由Miranda给出的及与Paré的工作有关）的一种解释是，将Monad $ P $发送给Kleisli Double类别的神经。在本文中，我们在2类Monads上找到了更多的通用神经构造，这也使完全忠实的神经2-功能$ \ Mathbf {Mnd} \ left（\ Mathcal {k} \ right）\ to \ Mathbf {dbl} $。
One interpretation of the Kleisli construction (given by Miranda and related to work of Paré) is as a nerve sending a monad $P$ to the Kleisli double category of $P$. In this paper we find more general nerve constructions on the 2-categories of monads, which also give fully faithful nerve 2-functors $\mathbf{Mnd}\left(\mathcal{K}\right)\to\mathbf{Dbl}$.
