77 search results - page 5 / 16 » Algebras for Parameterised Monads |
FCT
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Generalising modules over associative rings, the notion of modules for an endofunctor of any category is well established and useful in large parts of mathematics includi...
FAC
2002
13 years 7 months ago
2002
ACS
1999
13 years 7 months ago
1999
SLOGICA
2010
13 years 2 months ago
2010
CTCS
1997
Springer
13 years 11 months ago
1997
Springer
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...