Teori grup

Grupoid, yang bersifat mirip dengan grup kecuali dalam hal komposisi "a"*"b" tidak perlu didefinisikan untuk semua "a" dan "b", muncul sebgai suatu studi dari berbagai macam simetri terkait, terutama dalam hal topologi dan analisis struktur. Groupoid merupakan bagian khusus kategori.