Las variedades C junto con las funciones (indefinidamente) diferenciables se pueden entonces considerar como subcategoría completa de la categoría de espacios difeológicos.