English

Generalized nerves of monads

Category Theory 2022-04-19 v1

Abstract

One interpretation of the Kleisli construction (given by Miranda and related to work of Par\'e) is as a nerve sending a monad PP to the Kleisli double category of PP. In this paper we find more general nerve constructions on the 2-categories of monads, which also give fully faithful nerve 2-functors Mnd(K)Dbl\mathbf{Mnd}\left(\mathcal{K}\right)\to\mathbf{Dbl}.

Cite

@article{arxiv.2204.07606,
  title  = {Generalized nerves of monads},
  author = {Charles Walker},
  journal= {arXiv preprint arXiv:2204.07606},
  year   = {2022}
}
R2 v1 2026-06-24T10:49:30.340Z