In mathematics, a Lie groupoid is a groupoid where the set of objects and the set of morphisms are both manifolds, all the category operations (source and target, composition, identity-assigning map and inversion) are smooth, and the source and target operations are submersions. Lie groupoids were introduced by Charles Ehresmann under the name differentiable groupoids.