加载中…
One interpretation of the Kleisli construction (given by Miranda and related to work of Par'e) is as a nerve sending a monad to the Kleisli double category of . In this paper we find more general nerve constructions on the 2-categories of monads, which also give fully faithful nerve 2-functors .

生成讲解博客的中文版本

生成AI智能校验的中文版本