Abstract
For every locally finitely presentable category A we introduce finitary Kleisli triples on A and show that they bijectively correspond to finitary monads on A. We illustrate this on free monads and free iterative monads.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have