El objetivo principal de esta publicación es mostrar que las construcciones básicas en las teorías de conjuntos difusos, conjuntos difusos blandos, conjuntos difusos vacilantes o conjuntos difusos intuicionistas tienen un trasfondo común, basado en la teoría de mónadas en categorías. Se demuestra que los conceptos básicos definidos ad hoc en teorías individuales, como los conceptos de estructuras de conjuntos de potencia en estas teorías, relaciones u operadores de aproximación definidos por estas relaciones, son solo ejemplos especiales de aplicaciones de la teoría de mónadas en categorías. Esto permite, por un lado, unificar las construcciones básicas en todas estas teorías y, por otro lado, verificar la legitimidad de las definiciones ad hoc de estas construcciones en teorías individuales. Este trasfondo común también permite transformar estos conceptos básicos de una teoría a otra.