Semigrupoid

Dalam matematika, semigrupoid (disebut juga semikategori, kategori terbuka atau prakategori) adalah aljabar parsial yang memenuhi aksioma untuk, Appendix BSee e.g.  objek semigrupoid untuk membentuk satu himpunan. 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.

 Referensi 

Kategori:Struktur aljabar
Kategori:Teori kategori