Dalam teori kategori, produk dari dua (atau lebih) objek dalam kategori adalah gagasan yang dirancang untuk esensi di balik konstruksi di bidang matematika lain seperti produk himpunan Kartesius, produk langsung dari grup atau gelanggang, dan produk dari ruang topologi. Pada dasarnya, produk dari suatu keluarga objek adalah objek "paling umum" untuk morfisme untuk setiap objek yang diberikan.

Memperbaiki kategori C. Misalkan X₁ dan X₂ menjadi objek C. Hasil perkalian dari X₁ dan X₂ adalah objek X, dilambangkan dengan X₁ × X₂, sepasang morfisme π₁ : X → X₁, π₂ : X → X₂ menggunakan sifat universal berikut:

• Untuk setiap objek Y dan setiap sepasang morphisms f₁ : Y → X₁ f₂ : Y → X₂ terdapat unik morphism f : Y → X₁ × X₂ sehingga diagram berikut komutatif:

Keberadaan produk tergantung pada C atau X₁ dan X₂ . Jika tidak ada, untuk isomorfisma kanonik, karena sifat universal, jadi satu adalah tentang produk.

Morfisme π₁ dan π₂ disebut proyeksi kanonik atau morfisme proyeksi. Dengan Y dan f₁ f₂ morfisme f disebut produk dari morfisme f₁ dan f₂ dilambangkan ⟨f₁, f₂⟩.

Dua objek, dengan kumpulan objek arbitasi yang diindeks oleh himpunan I.

Dengan keluarga objek (X_i)_i∈I, produk dari keluarga merupakan objek X dengan morfisme π_i : X → X_i dengan sifat universal berikut:

• Untuk setiap objek Y dan setiap keluarga morfisme indeks- I f_i : Y → X_i, terdapat morfisme unik f : Y → X sehingga diagram berikut komutatif untuk semua i di I:

Produk dilambangkan sebagai Π_i∈I X_i . Jika I = {1, ..., n }, maka dilambangkan X₁ × ... × X_n X₁ × ... × X_n X₁ × ... × X_n X₁ × ... × X_n dan produk dari morfisme dilambangkan ⟨ f₁, ..., f_n ⟩.

Atau, produk didefinisikan melalui persamaan. Jadi, misalnya, untuk produk biner:

• Keberadaan f dijamin dengan adanya operasi ⟨ −, − ⟩ .
• Komutatifitas diagram di atas dijamin oleh persamaan ∀f₁, ∀f₂ ∀i ∈ {1, 2},  π_i ∘ ⟨ f₁, f₂ ⟩ = f_i .
• Keunikan f dijamin oleh persamaan ∀g : Y → X₁ × X₂,  ⟨ π₁∘g, π₂∘g ⟩ = g ^[1]

Produk adalah kasus khusus dengan limit. Dilihat dengan menggunakan kategori diskrit (keluarga objek tanpa morfisme, selain morfisme identitas) sebagai diagram diperlukan untuk definisi limit. Objek diskrit berfungsi sebagai indeks komponen dan proyeksi. Jika kita menganggap diagram ini sebagai funktor, funktor dari himpunan indeks I anggap sebagai kategori terpisah. Definisi produk kemudian bertepatan dengan definisi batas, { f }_i adalah kerucut dan proyeksi menjadi batas (kerucut limit).

Sebagaimana limit adalah kasus khusus dari konstruksi universal, begitu pula produknya. Dimulai dengan definisi yang diberikan untuk sifat universal dari limit, ambillah J sebagai kategori diskrit dengan dua objek, sehingga C^J adalah produk kategori C × C Fungsi diagonal Δ : C → C × C denganpasangan berurutan (X, X) ke setiap objek X dan morfisme f pasangan (f, f) . Produk X₁ × X₂ dalam C diberikan oleh morfisme universal dari functor Δ ke objek (X₁, X₂) dalam C × C Morfisme universal ini terdiri dari objek X dari C dan morfisme (X, X) → (X₁, X₂) yang berisi proyeksi.

Dalam kategori himpunan, produk (dalam pengertian teoretis kategori) adalah produk Kartesius. Diberikan keluarga himpunan X_i produk didefinisikan sebagai

Π_i∈I X_i := { (x_i)_i∈I | ∀i∈I, x_i∈X_i }

dengan proyeksi kanonik

π_j : Π_i∈I X_i → X_j, π_j((x_i)_i∈I) := x_j.

Diberikan setiap himpunan Y dengan keluarga fungsi f_i : Y → X_i, panah universal f : Y → Π_i∈I X_i didefinisikan oleh f(y) : = (f_i(y))_i∈I

Contoh lain:

• Dalam kategori ruang topologi, hasil kali adalah ruang yang himpunan dasarnya adalah perkalian Kartesius dan yang mengusung topologi produk . Topologi produk adalah topologi korhimpunan dari semua proyeksi kontinu .
• Dalam kategori modul beberapa gelanggang R, produknya adalah hasil kali Kartesius dengan penambahan komponen yang ditentukan dan perkalian distributif yang ditentukan.
• Dalam kategori grup, produk adalah produk langsung dari grup diberikan oleh produk Kartesius dengan perkalian yang ditentukan berdasarkan komponen.
• Dalam kategori grafik, hasil kali adalah produk tensor grafik.
• Dalam kategori relasi, produk diberikan oleh satuan disjoin. (Kemungkinan sedikit mengejutkan karena kategori himpunan adalah subkategori dari kategori relasi.)
• Dalam kategori varietas aljabar, produk diberikan oleh embedding Segre.
• Dalam kategori monoid semi-abelian, produk diberikan oleh sejarah monoid.
• Himpunan berurutan sebagian dapat diperlakukan sebagai kategori, menggunakan relasi urutan sebagai morfisme. Dalam hal ini produk dan koproduk berhubungan dengan batas bawah terbesar (pertemuan) dan batas atas terkecil (gabungan).

Contoh dimana produk tidak ada: Dalam kategori bidang, produk Q × F_p tidak ada, karena tidak ada bidang dengan homomorfisme untuk Q dan F_p.

Contoh lain: Produk kosong (misal I adalah himpunan kosong) sama dengan objek terminal, dan beberapa kategori, seperti kategori grup tak hingga, tidak memiliki objek terminal: mengingat grup G tak hingga ada banyak morfisme ℤ → G, jadi G tidak bisa menjadi terminal.

Jika I adalah himpunan sehingga semua produk untuk keluarga indeks dengan I, maka dapat memperlakukan setiap produk sebagai funktor C^I → C ^[2] Bagaimana fungsi ini memetakan objek sudah jelas. Pemetaan morfisme tidak kentara, karena produk morfisme yang didefinisikan di atas tidak sesuai. Pertama, pertimbangkan fungsi produk biner, yang merupakan bifunktor. Untuk f₁ : X₁ → Y₁, f₂ : X₂ → Y₂ maka mencari morfisme X₁ × X₂ → Y₁ × Y₂ . Dengan memilih ⟨ f₁ o π₁, f₂ o π₂ ⟩. Operasi morfisme ini disebut produk morfisme kartesian.^[3] Kedua, pertimbangkan fungsi produk umum. Untuk keluarga {X}_i,{Y}_i, f_i : X_i → Y_i kita harus menemukan morfisme Π_i∈I X_i → Π_i∈I Y_i . Kami memilih produk dari morfisme {f_i o π_i}_i .

Kategori dimana setiap himpunan objek hingga memiliki produk kadang-kadang disebut kategori kartesian^[4] (meskipun beberapa penulis menggunakan frasa ini untuk berarti "kategori dengan semua batas terbatas").

Produk bersifat asosiatif. Misalkan C adalah kategori kartesian, fungsi produk telah dipilih seperti di atas, dan 1 menunjukkan objek terminal C Kami kemudian memiliki isomorfisme alami.

${\displaystyle X\times (Y\times Z)\simeq (X\times Y)\times Z\simeq X\times Y\times Z,}$

${\displaystyle X\times 1\simeq 1\times X\simeq X,}$

${\displaystyle X\times Y\simeq Y\times X.}$

Sifat ini secara formal dengan sifat monoid komutatif; kategori kartesius dengan produk hingga adalah contoh kategori monoidal simetris.

Untuk setiap objek X, Y, dan Z dari kategori dengan produk hingga dan produk bersama, terdapat morfisme kanonik X × Y + X × Z → X × (Y + Z), dimana tanda tambah di sini menunjukkan koproduk. Untuk melihat ini, perhatikan bahwa sifat universal dari produk bersama X × Y + X × Z keberadaan panah diagram berikut (panah induksi):

Sifat universal dari produk X × (Y + Z) kemudian menjamin morfisme X × Y + X × Z → X × (Y + Z) disebabkan oleh panah pada diagram di atas. Kategori distributif adalah kategori di mana morfisme ini sebenarnya adalah isomorfisme. Jadi dalam kategori distributif isomorfisme kanonik

${\displaystyle X\times (Y+Z)\simeq (X\times Y)+(X\times Z)}$

• Koproduk - dual produk
• Funktor diagonal - ujung kiri dari fungsi produk.
• Limit dan kolimit
• Equalizer
• Limit invers
• Kategori tertutup Kartesius
• Pengembalian kategori

1. ^ Lambek J., Scott P. J. (1988). Introduction to Higher-Order Categorical Logic. Cambridge University Press. hlm. 304. 
2. ^ Lane, S. Mac (1988). Categories for the working mathematician (edisi ke-1st). New York: Springer-Verlag. hlm. 37. ISBN 0-387-90035-7. 
3. ^ Michael Barr, Charles Wells (1999). Category Theory – Lecture Notes for ESSLLI. hlm. 62. Diarsipkan dari versi asli tanggal 2011-04-13.  Parameter |url-status= yang tidak diketahui akan diabaikan (bantuan)
4. ^ Michael Barr, Charles Wells (1999). Category Theory – Lecture Notes for ESSLLI. hlm. 62. Diarsipkan dari versi asli tanggal 2011-04-13.  Parameter |url-status= yang tidak diketahui akan diabaikan (bantuan)

• Adámek, Jiří; Horst Herrlich; George E. Strecker (1990). Abstract and Concrete Categories (PDF). John Wiley & Sons. ISBN 0-471-60922-6. Diarsipkan dari versi asli (PDF) tanggal 2015-04-21. Diakses tanggal 2021-02-20. 
• Barr, Michael; Charles Wells (1999). Category Theory for Computing Science (PDF). Les Publications CRM Montreal (publication PM023). Diarsipkan dari versi asli (PDF) tanggal 2016-03-04. Diakses tanggal 2016-03-21.  Parameter |url-status= yang tidak diketahui akan diabaikan (bantuan) Chapter 5.
• Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics 5 (edisi ke-2nd). Springer. ISBN 0-387-98403-8. 
• Definition 2.1.1 in Borceux, Francis (1994). Handbook of categorical algebra. Encyclopedia of mathematics and its applications 50–51, 53 [i.e. 52]. Volume 1. Cambridge University Press. hlm. 39. ISBN 0-521-44178-1. Handbook of categorical algebra. Encyclopedia of mathematics and its applications 50–51, 53 [i.e. 52]. Volume 1. Cambridge University Press. p. 39. ISBN 0-521-44178-1.

• Interactive Web page yang menghasilkan contoh produk dalam kategori himpunan hingga. Ditulis oleh Jocelyn Paine.
• Product di nLab

Templat:Teori kategori