Grupoid

Dalam matematika, terutama dalam teori kategori dan teori homotopi, **grupoid** (disebut juga **grupoid Brandt** atau **grup virtual** ) menggeneralisasi pengertian grup dalam beberapa cara yang setara. Grupoid dapat dilihat sebagai:

* *[[Grup (matematika)|Grup]]* dengan fungsi parsial menggantikan operasi biner;
* *[[Teori kategori|Kategori]]* di mana setiap morfisme invers. Kategori dilihat sebagai ditambah dengan operasi uner, yang disebut *invers* dengan analogi teori grup. Grupoid di mana terdapat satu objek adalah grup biasa.

Dengan pengetikan dependen, kategori secara umum dilihat sebagai jenis monoid, dan demikian pula, grupoid dilihat sebagai grup diketik. Morfisme satu dari satu objek ke objek lain, dan membentuk keluarga tipe dependen, sehingga morfisme dapat ditulisg:A \rightarrow B, h:B \rightarrow C. Komposisi kemudian menjadi fungsi total: \circ : (B \rightarrow C) \rightarrow (A \rightarrow B) \rightarrow A \rightarrow C , maka h \circ g : A \rightarrow C .

Kasus khusus meliputi:

* *[[Setoid]]*: himpunan dengan relasi ekivalensi,
* *[[Tindakan grup (matematika)|himpunan-G]]* : himpunan dengan grup aksi G.

Grupoid digunakan untuk bernalar tentang objek geometris dengan lipatan.    memperkenalkan grupoid secara implisit melalui semigrup Brandt.

## Definisi

### Aljabar
Grupoid adalah satu himpunan G dengan operasi uner{}^{-1}:G\to G, dan fungsi parsial *:G\times G \rightharpoonup G . * bukan operasi biner karena tidak harus ditentukan untuk semua pasangan elemen G. Kondisi yang tepat di bawahnya * didefinisikan tidak diartikulasikan dan berbeda menurut situasi.

\ast dan −1 memiliki sifat aksiomatik berikut: Untuk semua a, b, dan c dalam G,

# *[[Sifat asosiatif|Asosiatif]]*: Jika a*b dan b*c didefinisikan, lalu (a * b) * c dan a * (b * c) didefinisikan ekuivalensi. Sebaliknya, jika (a * b) * c dan a * (b * c) didefinisikan, maka keduanya pulaa*b dan b*c sebaik (a * b) * c = a * (b * c) .
# *[[Invers perkalian|Invers]]*: a^{-1} * a dan a*{a^{-1}} harus ditentukan.
# *[[Identitas (matematika)|Identitas]]*: Jika a*b didefinisikan, lalu a*b*{b^{-1}} = a, dan {a^{-1}} * a * b = b. (Dua aksioma sebelumnya sudah menunjukkan bahwa ekspresi ini didefinisikan dan tidak ambigu.)

Dua sifat mudah dengan aksioma berikut:

* (a^{-1})^{-1} = a ,
* Jika a*b didefinisikan ke (a*b)^{-1} = b^{-1} * a^{-1}.

### Kategori teoretis
Grupoid adalah kategori kecil di mana morfisme adalah isomorfisme, yaitu invertibel. Lebih tepatnya, grupoid *G* adalah:

* Satu himpunan *G* 0 dari *objek*;
* Untuk setiap pasangan objek *x* dan *y* di *G* 0, terdapat himpunan *G*( *x*, *y* ) *morfisme* (atau *panah*) dari *x* ke *y* . Kami menulis *f* : *x* → *y* untuk menunjukkan bahwa *f* adalah elemen dari *G* ( *x*, *y* ).
* Untuk setiap objek *x*, elemen yang ditentukan \mathrm{id}_x dari *G* ( *x*, *x* );
* Untuk setiap tiga objek *x*, *y*, dan *z*, fungsi \mathrm{komp}_{x,y,z} : G(y, z)\times G(x, y) \rightarrow G(x, z): (g, f) \mapsto gf ;
* Untuk setiap pasangan objek *x*, *y* fungsi \mathrm{inv}: G(x, y) \rightarrow G(y, x): f \mapsto f^{-1} ;

untuk setiap *f* : *x* → *y*, *g* : *y* → *z*, dan *h* : *z* → *w* :

* f\ \mathrm{id}_x = f dan \mathrm{id}_y\ f = f ;
* (h g) f = h (g f) ;
* f f^{-1} = \mathrm{id}_y dan f^{-1} f = \mathrm{id}_x .

Jika *f* merupakan unsur dari *G*( *x*, *y* ) maka *x* disebut **sumber** *f*, ditulis *s*( *f* ), dan *y* disebut **target** *f*, ditulis *t*( *f*).

Secara lebih umum, seseorang dapat mempertimbangkan objek grupoid dalam kategori arbitrer yang menerima produk serat hingga.

### Membandingkan definisi
Definisi aljabar dan teori kategori adalah ekuivalen, sebagai contoh di atas tunjukkan. Diberikan grupoid dalam pengertian teori-kategori, misalkan *G* adalah satuan disjoin dari semua himpunan *G*( *x*, *y* ) (yaitu himpunan morfisme dari *x* ke *y*). Kemudian \mathrm{komp} dan \mathrm{inv} menjadi operasi parsial pada *G*, dan \mathrm{inv} sebenarnya akan ditentukan di mana. Mendefinisikan ∗ menjadi \mathrm{komp} dan −1 menjadi \mathrm{inv}, memberikan grupoid dalam arti aljabar. Referensi eksplisit ke *G* 0 (dan karena \mathrm{id}) bisa dijatuhkan.

Sebaliknya, jika diberikan grupoid *G* dalam pengertian aljabar, definisikan relasi ekuivalen \sim pada elemen a \sim b iff *a* ∗ *a* −1 = *b* ∗ *b* −1. Misalkan *G* 0 adalah himpunan kelas ekiuvalensi \sim, yaitu G_0:=G/\!\!\sim . Maka *a* ∗ *a* −1 dengan 1_x jika a\in x dengan x\in G_0.

Sebaliknya, jika diberikan grupoid *G* dalam pengertian aljabar, definisikan relasi ekuivalen \sim pada elemen a \sim b iff *a* ∗ *a* −1 = *b* ∗ *b* −1. Misalkan *G* 0 adalah himpunan kelas ekiuvalensi \sim, yaitu G_0:=G/\!\!\sim . Maka *a* ∗ *a* −1 dengan 1_x jika a\in x dengan x\in G_0.

Sekarang jelaskan G(x, y) sebagai himpunan dari semua elemen *f* sedemikian rupa 1_x*f*1_y. Diberikan f \in G(x,y) dan g \in G(y, z), komposit didefinisikan sebagai gf:=f*g \in G(x,z). Untuk melihat bahwa ini didefinisikan dengan baik, amati (1_x*f)*1_y dan 1_y*(g*1_z), begitu pula (1_x*f*1_y)*(g*1_z)=f*g . Morfisme identitas pada *x* kemudian 1_x, dan kebalikan teori kategori dari *f* adalah *f* −1 .

*Himpunan* dalam definisi di atas dapat diganti dengan kelas, seperti yang umumnya terjadi dalam teori kategori.

### Grup verteks
Diberikan grupoid *G*, **grup verteks** atau **grup isotropi**      atau **grupobjek** di *G* adalah himpunan bagian dari bentuk *G* ( *x*, *x* ), di mana *x* adalah sembarang objek dari *G.* Dengan mudah dari aksioma di atas bahwa ini memang kelompok, karena setiap pasangan elemen dapat disusun dan invers berada dalam kelompok titik yang sama.

### Kategori grupoids
Sebuah **subgrupoid** adalah subkategori yang merupakan grupoid. **Morfisme grupoid** sebuah fungsi antara dua grupoid (teori-kategori). Kategori di mana objek grupoid dan morfismenya adalah morfisme groupoid disebut **kategori grupoid**, atau **kategori grupoids**, dilambangkan dengan **Grpd**.

Kategori dengan kategori kecil, penutupan Kartesius. Artinya, dengan grupoids H,K sebuah grupoid \operatorname{GPD}(H,K) di mana objeknya adalah morfisme  H \to K  dan panahnya merupakan padanan alami dari morfisme. Maka, jika  H,K  adalah grup, panah tersebut adalah konjugasi morfisme. Hasil utamanya adalah untuk grupoids  G,H,K  bijeksi alami.

\operatorname{Grpd}(G \times H, K) \cong \operatorname{Grpd}(G, \operatorname{GPD}(H,K)).

Hasil ini bahkan jika semua grupoids  G,H,K  adalah grup.

### Fibrasi dan kovergelanggang
Jenis morfisme tertentu dari grupoids adalah interist. Morfisme  p: E \to B grupoids disebut fibrasi jika untuk setiap objek x dari E dan setiap morfisme b dari B ke p(x) adalah morfisme e dari E mulai dari x seperti yang p(e)=b . Fibrasi disebut  kovergelanggang morfisme atau kovergelanggang grupoid jika e adalah unik. Kovergelanggang morfisme dari grupoids sangat berguna karena dapat digunakan untuk memodelkan peta.

Bahwa kategori morfisme kovergelanggang grupoid tertentu B adalah ekuivalen dengan kategori aksi grupoid tersebut B di antara himpunan.

## Contoh

### Topologi
Diberikan ruang topologi X, maka G_0 adalah himpunan X. Morfisme dari inti p ke titik q adalah kelas kesetaraan dari jalur kontinu dari p untuk q, dengan dua jalur ekuivalen jika homotopi. Dua morfisme disusun dengan jalur pertama, maka kedua; ekuivalen homotopi bahwa komposisi bersifat asosiatif. Grupoid disebut grupoid fundamental dari X, dilambangkan \pi_1(X) (atau terkadang, \Pi_1(X) ). Grup fundamental biasa \pi_1(X,x) kemudian grup puncak untuk titik tersebut x. Untuk ruang yang terhubung dengan jalur, grupoid fundamental dan grup fundamental bertepatan, dan operasi komposisi ditentukan untuk semua pasangan kelas kesetaraan.

Perpanjangan penting dari gagasan ini adalah dengan mempertimbangkan grupoid fundamental \pi_1(X,A) di mana A\subset X adalah himpunan "titik dasar" yang dipilih. Hanya mempertimbangkan jalur yang memiliki titik akhir A . \pi_1(X,A) adalah sub-grupoid dari \pi_1(X). Himpunan A dapat dipilih sesuai dengan geometri situasi yang dihadapi.

### Relasi ekuivalen
Jika X adalah himpunan dengan relasi ekuivalen dilambangkan dengan infiks \sim, maka grupoid yang "mewakili" relasi ekuivalensi dibentuk sebagai berikut:

* Objek grupoid adalah elemen X;
* Untuk dua elemen apa pun x dan y di X, ada satu morfisme dari x untuk y jika dan hanya jika x\sim y .

### Tindakan grup
Jika grup G di lokasi X, maka kita dapat membentuk **aksi grupoid** (atau **transformasi grupoid** ) yang merepresentasikan tindakan grup ini sebagai berikut:

* Objek adalah elemen X ;
* Untuk dua elemen x dan y di X, morfisme dari x untuk y sesuai dengan elemen g dari G dengan gx = y ;
* Komposisi morfisme menafsirkan operasi biner G .

Lebih jelasnya, *aksi grupoid* adalah kategori kecil dengan \mathrm{ob}(C)=X dan \mathrm{hom}(C)=G\times X dengan peta sumber target s(g,x) = x dan t(g,x) = gx . Dilambangkan dengan G \ltimes X (atau X\rtimes G ). Perkalian (atau komposisi) di grupoid kemudian (h,y)(g,x) = (hg,x) ditentukan dengan y=gx .

Untuk x di X, grup puncak terdiri dari (g,x) dengan gx=x, merupakan subgrup isotropi di x untuk aksi diberikan grup simpul (juga disebut grup isotropi).

Cara lain untuk mendeskripsikan himpunan-G adalah kategori funktor [\mathrm{Gr},\mathrm{Himpunan}] , di mana \mathrm{Gr} adalah grupoid (kategori) dengan satu elemen dan isomorfik ke grup G. Memang, setiap funktor F dari kategori mendefinisikan satu himpunan X=F(\mathrm{Gr}) dan untuk setiap g di G (yaitu untuk setiap morfisme dalam \mathrm{Gr} ) dari bijeksi F_g : X\to X . Struktur kategoris dari funktor F meyakinkan kami bahwa F mendefinisikan aksi-G di lokasi syuting G. Funktor (unik) diwakili F : \mathrm{Gr} → \mathrm{Himpunan} adalah representasi Cayley dari G. Faktanya, fungsi isomorfik \mathrm{Hom}(\mathrm{Gr},-) dan \mathrm{ob}(\mathrm{Gr}) ke himpunan \mathrm{Hom}(\mathrm{Gr},\mathrm{Gr}) menurut definisi "himpunan" G dan morfisme g dari \mathrm{Gr} (yaitu elemen g dari G) ke permutasi F_g himpunan G. Menyimpulkan dari embedding Yoneda grup G isomorfik ke grup \{F_g\mid g\in G\}, Subgrup dari grup permutasi G.

### Himpunan hingga
Pertimbangkan himpunan hingga X = \{-2, -1, 0, 1, 2\}, membentuk aksi grup \mathbb{Z}/2 aksi X dengan membuat setiap bilangan menjadi negatif, maka -2 \mapsto 2 dan 1 \mapsto -1. Grupoid hasil bagi [X/G] adalah himpunan kelas kesetaraan dari aksi grup \{[0],[1],[2]\}, dan [0] aksi grup \mathbb{Z}/2 di atasnya.

### Variasi hasil bagi
Dalam 
\mathbb{A}^n
, grup hingga di mana 
G
 yang memetakan ke 
GL(n)
 diberikan aksi grup 
\mathbb{A}^n
 (karena ini adalah grup automorfisme). Kemudian, grupoid hasil bagi dibentuk 
[\mathbb{A}^n/G]
, yang memiliki satu titik dengan stabilizer 
G
. Contoh membentuk dasar teori orbifold. Keluarga orbifold lain yang umum dipelajari adalah ruang proyektif berbobot \mathbb{P}(n_1,\ldots, n_k) dan subruangnya, dengan orbifold Calabi-Yau.

### Produk fiber grupoids
Diberikan diagram grupoid dengan morfisme grupoid


\begin{align}
 & & X \\
 & & \downarrow \\
Y &\rightarrow & Z 
\end{align}


di mana 
f:X\to Z
 dan 
g:Y\to Z
, membentuk grupoid 
X\times_ZY
 objeknya tiga kali lipat 
(x,\phi,y)
, di mana 
x \in \text{Ob}(X)
, 
y \in \text{Ob}(Y)
, dan 
\phi: f(x) \to g(y)
 di 
Z
. Morfisme dapat diartikan sebagai sepasang morfisme 
(\alpha,\beta)
 di mana 
\alpha: x \to x'
 dan 
\beta: y \to y'
 untuk tiga kali lipat 
(x,\phi,y), (x',\phi',y')
, diagram komutatif di 
Z
 dari 
f(\alpha):f(x) \to f(x')
, 
g(\beta):g(y) \to g(y')
 dan 
\phi,\phi'
.

### Aljabar homologis
Kompleks dua istilah


C_1 \overset{d}{\rightarrow}C_0


objek dalam kategori Abelian komkret digunakan untuk membentuk grupoid. Objek himpunan C_0 dan panah C_1\oplus C_0 di mana morfisme sumber proyeksi di atas C_0 sedangkan morfisme target adalah penambahan proyeksi ke atas C_1 disusun dengan d dan proyeksi ke C_0. Artinya, diberikan c_1 + c_0 \in C_1\oplus C_0 dirumuskan


t(c_1 + c_0) = d(c_1) + c_0


Tentu saja, jika kategori abelian adalah kategori berkas gandum yang koheren pada suatu skema, maka konstruksi ini dapat digunakan untuk membentuk lembaran awal groupoids.

### Teka-teki
Sementara teka-teki seperti Kubus Rubik dapat dimodelkan menggunakan teori grup (lihat grup Kubus Rubik ), teka-teki tertentu lebih dimodelkan sebagai grupoids.

Transformasi dari lima belas teka-teki membentuk groupoid (bukan grup, karena tidak semua gerakan dapat disusun). Grupoid bekerja dengan konfigurasi.

### Grupoid Mathieu
Grupoid Mathieu adalah grupoid diperkenalkan oleh John Horton Conway bekerja pada 13 titik sedemikian rupa sehingga unsur-unsur yang menetapkan titik membentuk salinan dari grup Mathieu M12.

## Relasi dengan grup

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, di mana 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 teoretis 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, di mana 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.

## Sifat dari kategori Grpd

* **Grpd** adalah sifat kompleks dan kompleks
* **Grpd** adalah kategori tertutup kartesius

### Relasi dengan [[Kategori dari kategori kecil|Kat]]
Inklusi i : \mathbf{Grpd} \to \mathbf{Kat} memiliki adjoint kiri dan kanan:

 \hom_{\mathbf{Grpd}}(C[C^{-1}], G) \cong \hom_{\mathbf{Kat}}(C, i(G)) 

 \hom_{\mathbf{Kat}}(i(G), C) \cong \hom_{\mathbf{Grpd}}(G, \mathrm{Kore}(C)) 

Maka, C[C^{-1}] menunjukkan lokalisasi kategori yang membalikkan setiap morfisme, dan \mathrm{Kore}(C) menunjukkan subkategori semua isomorfisme.

### Relasi dengan [[Himpunan sederhana|hHimpunan]]
Fungsi saraf N : \mathbf{Grpd} \to \mathbf{hHimpunan} embed **Grpd** sebagai subkategori kompleks dari kategori himpunan sederhana. Saraf grupoid selalu Kan kompleks.

Saraf memiliki adjoin kiri

 \hom_{\mathbf{Grpd}}(\pi_1(X), G) \cong \hom_{\mathbf{hHimpunan}}(X, N(G)) 

Maka, \pi_1(X) menunjukkan grupoid fundamental dari himpunan sederhana X.

### Grupoids di Grpd
Terdapat struktur tambahan yang dapat diturunkan dari grupoid internal ke kategori grupoids, **double-groupoids**. Karena **Grpd** adalah kategori 2, objek membentuk kategori 2 daripada kategori 1 karena terdapat struktur tambahan. Pada dasarnya, ini adalah grupoids \mathcal{G}_1,\mathcal{G}_0 dengan funktorss,t: \mathcal{G}_1 \to \mathcal{G}_0dan embedding yang diberikan oleh sebuah fungsi identitasi:\mathcal{G}_0 \to\mathcal{G}_1Salah satu cara untuk memikirkan tentang 2-grupoids ini adalah objek, morfisme, dan persegi yang dapat disusun bersama secara vertikal dan horizontal. Misalnya, persegi yang diberikan\begin{matrix}
\bullet & \to & \bullet \\
\downarrow & & \downarrow \\
\bullet & \xrightarrow{a} & \bullet
\end{matrix}
 dan \begin{matrix}
\bullet & \xrightarrow{a} & \bullet \\
\downarrow & & \downarrow \\
\bullet & \to & \bullet
\end{matrix}dengan a morfisme yang sama, digabungkan secara vertikal memberikan diagram\begin{matrix}
\bullet & \to & \bullet \\
\downarrow & & \downarrow \\
\bullet & \xrightarrow{a} & \bullet \\
\downarrow & & \downarrow \\
\bullet & \to & \bullet
\end{matrix}yang dapat diubah menjadi persegi lain dengan menyusun panah vertikal. Tedapat hukum komposisi serupa untuk lampiran persegi horizontal.

## Grupoid Lie dan Aljabroid Lie
Saat mempelajari objek geometris, grupoids dengan beberapa struktur diferentiabel, mengubah menjadi grupoid Lie. Dipelajari dalam istilah aljabroid Lie, dalam analogi relasi antara grup Lie dan aljabar Lie .

## Lihat pula

* Grupoid-∞
* Grup-2
* Teori tipe homotopi
* Kategori invers
* Aljabar grupoid (jangan disamakan dengan aljabarik grupoid )
* Aljabroid-R

## Catatan

## Referensi

* 
* Brown, Ronald, 1987, " Dari kelompok ke groupoids: survei singkat ," *Bull.* *Matematika London.* *Soc.* **19** : 113-34. Meninjau sejarah groupoids hingga tahun 1987, dimulai dengan karya Brandt pada bentuk kuadrat. Versi yang dapat diunduh memperbarui banyak referensi.
* &#x2014;, 2006. *Topologi dan groupoids.* Bookurge. Edisi revisi dan diperpanjang dari buku yang sebelumnya diterbitkan pada tahun 1968 dan 1988. Groupoids diperkenalkan dalam konteks aplikasi topologi mereka.
* &#x2014;, Teori kelompok berdimensi lebih tinggi Menjelaskan bagaimana konsep groupoid telah menyebabkan groupoid berdimensi lebih tinggi, memiliki aplikasi dalam teori homotopi dan dalam kohomologi kelompok. Banyak referensi.
* 
* 
* F. Borceux, G. Janelidze, 2001, *teori Galois.* Universitas Cambridge Tekan. Menunjukkan bagaimana generalisasi teori Galois mengarah pada groupoids Galois .
* Cannas da Silva, A., dan A. Weinstein, *Model Geometris untuk Aljabar Nonkomutatif.* Terutama Bagian VI.
* Golubitsky, M., Ian Stewart, 2006, " Dinamika jaringan nonlinier: formalisme groupoid ", *Bull.* *Amer.* *Matematika.* *Soc.* **43** : 305-64
* 
* Higgins, PJ, "Groupoid fundamental dari grafik kelompok ", J. London Math. Soc. (2) 13 (1976) 145—149.
* Higgins, PJ dan Taylor, J., "Groupoid fundamental dan kompleks persilangan homotopy dari ruang orbit ", dalam teori Kategori (Gummersbach, 1981), Catatan Kuliah dalam Matematika., Volume 962. Springer, Berlin (1982), 115—122.
* Higgins, PJ, 1971. *Kategori dan groupoids.* Catatan Van Nostrand dalam Matematika. Diterbitkan ulang dalam *Cetak Ulang dalam Teori dan Aplikasi Kategori*, No. 7 (2005) hal.&nbsp;1–195; dapat diunduh secara bebas . Pengenalan substansial untuk teori kategori dengan penekanan khusus pada groupoids. Mempresentasikan aplikasi groupoid dalam teori grup, misalnya untuk generalisasi teorema Grushko, dan dalam topologi, misalnya groupoid fundamental .
* Mackenzie, KCH, 2005. *Teori umum dari Lie groupoids dan Lie algebroids.* Universitas Cambridge Tekan.
* Weinstein, Alan, " Groupoids: pemersatu simetri internal dan eksternal &#x2014; Sebuah tur melalui beberapa contoh. " Juga tersedia dalam Postscript., Pemberitahuan AMS, Juli 1996, hal.&nbsp;744–752.
* Weinstein, Alan, " The Geometry of Momentum " (2002)
* RT Zivaljevic. "Groupoids dalam kombinatorika &#x2014; aplikasi teori kesimetrian lokal". Dalam *kombinatorika Aljabar dan geometris*, volume 423 dari *Contemp.* *Matematika* ., 305–324. Amer. Matematika. Soc., Providence, RI (2006)
* 
*