Grupoide

Una categoría en la que todo morfismo es invertible: los objetos forman una clase y las flechas entre objetos se componen asociativamente con identidades en cada objeto, y cada flecha tiene un inverso bilateral. Generaliza un grupo al permitir múltiples objetos conservando simetría local del tipo grupo.