Generalized nerves of monads
Abstract
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}$.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2022
- DOI:
- 10.48550/arXiv.2204.07606
- arXiv:
- arXiv:2204.07606
- Bibcode:
- 2022arXiv220407606W
- Keywords:
-
- Mathematics - Category Theory