77 search results - page 5 / 16 » Algebras for Parameterised Monads |
74
Voted
FCT
2001
Springer
15 years 1 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
14 years 9 months ago
2002
ACS
1999
14 years 9 months ago
1999
SLOGICA
2010
14 years 4 months ago
2010
CTCS
1997
Springer
15 years 1 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 ...