Generalized nerves of monads

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

m a t h b f M n d l e f t (m a t h c a l K i g h t) o m a t h b f D b l

.

This page was built for publication: Generalized nerves of monads