Grupoid itu apa sih?

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. 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: , maka .