Estudiamos la relación entre la categoría de módulos () y la categoría de módulos difusos intuicionistas (). Construimos una categoría de retículos completos correspondiente a cada objeto en y luego mostramos que, correspondiente a cada morfismo en , existe un funtor contravariante de a la categoría (=unión de todos , correspondiente a cada objeto en ) que preserva los ínfimos. Luego, demostramos que la categoría forma una categoría superior sobre la categoría . Finalmente, definimos y discutimos el concepto de núcleo y conúcleo en y demostramos que no es una Categoría Abelianda.