Grupoide

Carta Común · N.º 429881

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. El término "grupoide" también es usado para un magma: un conjunto con cualquier tipo de operación binaria en él. No usaremos ese término para tal concepto en este artículo.

Leer en Wikipedia