Equational presentations of functors and monads

摘要

We study equational presentations of functors and monads defined on a category R that is equipped by an adjunction F -∣U : R → X of descent type. We present a class of functors/monads that admit such an equational presentation that involves finitary signatures in X. We apply these results to an equational description of functors arising in various areas of theoretical computer science.