CMA
2011
12 years 8 months ago
2011
We introduce and study term functions over fuzzy hyperalgebras. We start from this idea that the set of nonzero fuzzy subsets of a fuzzy hyperalgebra can be organized naturally as...
SIAMDM
2010
13 years 3 months ago
2010
For a fixed graph H, let Ret(H) denote the problem of deciding whether a given input graph is retractable to H. We classify the complexity of Ret(H) when H is a graph (with loops ...
ENTCS
2007
13 years 4 months ago
2007
Lawvere theories and monads have been the two main category theoretic formulations of universal algebra, Lawvere theories arising in 1963 and the connection with monads being esta...
FCT
2001
Springer
13 years 9 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...