Fuzzy sets as two-sorted algebras

This paper makes the attempt to explain the foundations of fuzzy sets from the point of view of universal algebra. The free fuzzy set and the fuzzy power set are constructed. Moreover, fuzzy power sets give rise to a monad. In this context, fuzzy power sets appear as free fuzzy modules generated by their underlying fuzzy sets.