Un grupoide, en matemática, especialmente en teoría de las categorías y en homotopía, es un concepto que, simultáneamente, generaliza grupos, relaciones de equivalencia en conjuntos, y acciones de grupos en conjuntos.
Frecuentemente, son usados para captar información acerca de objetos geométricos tales como variedades.
No usaremos ese término para tal concepto en este artículo.
[1] Alternativamente es posible dar la siguiente definición equivalente: un grupoide
consiste de Al estudiar objetos geométricos, los grupoides que se presentan llevan a menudo alguna estructura diferenciable, convirtiéndose en grupoides de Lie.