Semigrupoid itu apa sih?

Dalam matematika, semigrupoid (disebut juga semikategori, kategori terbuka atau prakategori) adalah aljabar parsial yang memenuhi aksioma untuk kategori kecil, kecuali kemungkinan persyaratan bahwa terdapat identitas pada setiap objek. Semigrupoid menggeneralisasi semigrup dengan cara yang sama, sebagai contoh kategori kecil menggeneralisasi monoid dan grupoid menggeneralisasi grup. Semigrupoid memiliki aplikasi dalam teori struktural semigrup.

Secara formal, semigrupoid terdiri dari:

himpunan yang disebut sebagai objek.

untuk setiap dua objek A dan B satu himpunan Mor(A,B) disebut sebagai morfisme dari A ke B. Jika f sebagai Mor(A,B) ditulis f : A → B.

untuk setiap tiga objek A, B dan C operasi biner Mor(A,B) × Mor(B,C) → Mor(A,C) disebut komposisi morfisme. Komposisi f : A → B dan g : B → C ditulis sebagai g ∘ f atau gf (beberapa lainnya menulis sebagai fg.)

sedemikian rupa maka aksioma berikut berlaku:

(asosiatif) jika f : A → B, g : B → C dan h : C → D maka h ∘ (g ∘ f) = (h ∘ g) ∘ f.