Grupoid
Relasi dengan grup

| Struktur grup>  | Struktur grup> Totalitas | Struktur grup> Asosiatif | Struktur grup> Identitas | Struktur grup> Invers | Struktur grup> Komutativitas |
| --- | --- | --- | --- | --- | --- |
| Semigrupoid | Tidak dibutuhkan | Dibutuhkan | Tidak dibutuhkan | Tidak dibutuhkan | Tidak dibutuhkan |
| Kategori Kecil | Tidak dibutuhkan | Dibutuhkan | Dibutuhkan | Tidak dibutuhkan | Tidak dibutuhkan |
| Grupoid | Tidak dibutuhkan | Dibutuhkan | Dibutuhkan | Dibutuhkan | Tidak dibutuhkan |
| Magma | Dibutuhkan | Tidak dibutuhkan | Tidak dibutuhkan | Tidak dibutuhkan | Tidak dibutuhkan |
| Kuasigrup | Dibutuhkan | Tidak dibutuhkan | Tidak dibutuhkan | Dibutuhkan | Tidak dibutuhkan |
| Magma Unital | Dibutuhkan | Tidak dibutuhkan | Dibutuhkan | Tidak dibutuhkan | Tidak dibutuhkan |
| Loop | Dibutuhkan | Tidak dibutuhkan | Dibutuhkan | Dibutuhkan | Tidak dibutuhkan |
| Semigrup | Dibutuhkan | Dibutuhkan | Tidak dibutuhkan | Tidak dibutuhkan | Tidak dibutuhkan |
| Semigrup invers | Dibutuhkan | Dibutuhkan | Tidak dibutuhkan | Dibutuhkan | Tidak dibutuhkan |
| Monoid | Dibutuhkan | Dibutuhkan | Dibutuhkan | Tidak dibutuhkan | Tidak dibutuhkan |
| Monoid komutatif | Dibutuhkan | Dibutuhkan | Dibutuhkan | Tidak dibutuhkan | Dibutuhkan |
| Grup | Dibutuhkan | Dibutuhkan | Dibutuhkan | Dibutuhkan | Tidak dibutuhkan |
Grup Abelian: Dibutuhkan
^α Penutupan, yang digunakan dalam banyak sumber, merupakan aksioma yang setara dengan totalitas, meskipun didefinisikan secara berbeda.
Jika sebuah grupoid memiliki satu objek, maka himpunan morfismenya membentuk sebuah grup. Menggunakan definisi aljabar, grupoid seperti itu secara harfiah hanyalah sebuah grup. Banyak konsep teori grup digeneralisasi menjadi grupoids, dengan gagasan dari functor menggantikan yang dari grup homomofisme.
Setiap grupoid koneksi yaitu, dimana dua objek terhubung oleh setidaknya satu morfisme, isomorfik ke aksi grupoid (seperti yang didefinisikan di atas)  (G,X). Dengan keterhubungan, hanya akan ada satu orbit di bawah aksi. Jika grupoid tidak terhubung, maka isomorfik gabungan grupoids terputus dari tipe di atas (dengan grup yang berbeda.  G dan himpunan  X untuk setiap komponen yang terhubung).
Perhatikan bahwa isomorfisme yang dijelaskan di atas tidak unik, dan tidak ada pilihan alami. Memilih isomorfisme semacam itu untuk groupoid yang terhubung pada dasarnya sama dengan memilih satu objek  x_{0}, grup isomorfisme  h dari  G(x_{0}) untuk  G, dan untuk  x. Selain  x_{0}, morfisme dalam  G dari  x_{0} untuk  x.
Dalam istilah teori-kategori, setiap komponen yang terhubung dari groupoid adalah ekuivalen (tetapi tidak isomorfik) dengan grupoid dengan satu objek, yaitu satu grup. Jadi grupoid dengan rkuivalen multi himpunan grup yang tidak terkait. Dengan kata lain, untuk ekuivalen dan bukan isomorfisme, menentukan himpunan  X, hanya grup  G. Sebagai contoh,
Grupoid fundamental dari  X dengan himpunan ekuivalen grup fundamental dari setiap komponen koneksi ke jalur  X, tetapi isomorfisme membutuhkan penetapan himpunan titik di setiap komponen;
Himpunan  X dengan relasi ekuivalen  \sim  (sebagai grupoid) dengan satu salinan dari grup trivial untuk setiap kelas kesetaraansi, tetapi isomorfisma membutuhkan penspesifikasian apa setiap kelas ekivalen:
Himpunan  X dengan aksi grup ekuivalen  G(sebagai grupoid) dengan satu salinan  G untuk setiap orbit aksi, tetapi isomorfisme membutuhkan penentuan himpunan setiap orbit.
Grupoid menjadi himpunan grup saja kehilangan beberapa informasi, bahkan dari sudut pandang teori-kategori, karena itu tidak wajar. Jadi, ketika grupoid dari segi struktur lain, contoh di atas, akan membantu untuk mempertahankan grupoid penuh. Jika, dengan cara untuk melihat masing-masing  G(x) dalam hal satu grup, dan pilihan ini bisa berubah. Dalam contoh dari topologi, Anda harus membuat pilihan jalur yang koheren (atau kelas ekivalensi jalur) dari setiap titik  p ke setiap poin  q di komponen yang terhubung ke jalur yang sama.
Sebagai contoh yang lebih mencerahkan, klasifikasi grupoids dengan satu endomorfisme tidak direduksi menjadi pertimbangan teoritis grup murni. Hal ini dengan fakta bahwa klasifikasi ruang vektor dengan satu endomorfisme bersifat nontrivial.
Morfisme grupoids dalam jenis grup: misalnya, fibrasi, kovering morfisme, morfisme universal, dan morfisme hasil bagi . Jadi subgrup  H dari sebuah grup  G menghasilkan aksi  G di kohimpunan dari  H di  G dan karenanya morfisme yang menutupi  p dari,  K untuk  G, dimana  K adalah grupoid dengan grup verteks isomorfik  H. Dengan cara ini, presentasi grup  G dapat "diangkat" ke presentasi grupoid  K, dan ini adalah cara yang berguna untuk memperoleh informasi tentang presentasi subgrup  H . Untuk informasi lebih lanjut, lihat buku oleh Higgins dan oleh Brown dalam Referensi.