Desde un punto de vista de categorías, un grupoide es simplemente una de ellas en la que todo morfismo es un isomorfismo (o sea, aquel es inversible).