Uno puede agregar condiciones del diferenciabilidad en la función de pegado ψ en la definición anterior y conseguir una definición de orbifold diferenciable de la misma manera que fue hecha para las variedades.