Los espacios difeológicos, junto con las funciones diferenciables como morfismos, forma una categoría.