paper

Generalized nerves of monads

arXiv:2204.07606

Abstract

One interpretation of the Kleisli construction (given by Miranda and related to work of Paré) 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 .

Generalized nerves of monads · wovepaper