En matemáticas modernas, muchos conceptos e ideas se describen en términos de teoría de categorías. Desde este punto de vista, es deseable analizar qué se puede determinar si, en lugar de la categoría básica de conjuntos, consideramos una categoría similar de conjuntos difusos. En este documento, describimos un análogo difuso natural de la categoría de conjuntos y funciones, y mostramos que, en esta categoría, las relaciones difusas (un análogo difuso natural de funciones) pueden determinarse en términos de categoría, por supuesto, modulo mapeo 1-1 del universo correspondiente del discurso y reescalamiento 1-1 de los grados difusos.