Article contents
Equational presentations of functors and monads
Published online by Cambridge University Press: 25 March 2011
Abstract
We study equational presentations of functors and monads defined on a category that is equipped by an adjunction F ˧ U : → of descent type. We present a class of functors/monads that admit such an equational presentation that involves finitary signatures in .
We apply these results to an equational description of functors arising in various areas of theoretical computer science.
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 21 , Special Issue 2: Coalgebraic Logic , April 2011 , pp. 363 - 381
- Copyright
- Copyright © Cambridge University Press 2011
References
- 9
- Cited by