In mathematics, a Lie groupoid is a groupoid where the set Ob of objects and the set Mor 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