En matemática, difeología (inventada primero por Souriau en los 1980, y refinada posteriormente por mucha gente) es una generalización de las variedades (indefinidamente) diferenciables en una categoría más estable.