Grupoid
menggeneralisasi pengertian grup dalam beberapa cara yang setara / From Wikipedia, the free encyclopedia
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 dengan fungsi parsial menggantikan operasi biner;
- Kategori dimana setiap morfisme invers. Kategori dilihat sebagai ditambah dengan operasi uner, yang disebut invers dengan analogi teori grup.[1] Grupoid dimana 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 ditulis,
. Komposisi kemudian menjadi fungsi total: :(B\rightarrow C)\rightarrow (A\rightarrow B)\rightarrow A\rightarrow C}
, maka
.
Kasus khusus meliputi:
- Setoid: himpunan dengan relasi ekivalensi,
- himpunan-G : himpunan dengan grup aksi
.
Grupoid digunakan untuk bernalar tentang objek geometris dengan lipatan. Heinrich Brandt (1927) memperkenalkan grupoid secara implisit melalui semigrup Brandt.[2]