La categoría de las variedades (indefinidamente) diferenciables con morfismos (indefinidamente) diferenciables carece de ciertas propiedades deseables, y se ha tratado de generalizar las variedades (indefinidamente) diferenciables para corregir esto.