Subobjek

Dalam teori kategori, cabang dari matematika, Subobjek adalah objek dalam objek lain yaitu kategori. Generalisasi untuk konsep himpunan bagian dari teori himpunan, subgrup dari teori grup, dan subruang dari topologi. Karena struktur detail objek non-material dalam teori kategori, mendefinisikan subobjek dengan morfisme dari satu objek dalam objek lain untuk penggunaan elemen.

Konsep ganda untuk subobjek adalah Templat:Visible anchor. Untuk menggeneralisasi konsep himpunan hasil bagi, grup hasil bagi, ruang hasil bagi, grafik hasil bagi, dll.

Definisi

Secara detail, maka $A$ adalah objek dari beberapa kategori. Diberikan dua monomorfisme

$u:S\to A\text{dan}v:T\to A$

dengan kodomain $A$, untuk $u\le v$ jika $u$ faktor melalui $v$, jika $\varphi :S\to T$ dengan $u=v\circ \varphi$. Relasi biner $\equiv$ didefinisikan oleh

$u\equiv v⟺u\le v\text{dan}v\le u$

adalah relasi ekuivalen pada monomorfisme dengan kodomain $A$, dan kelas kesetaraan dari monomorfisme adalah subobjek dari $A$. Ekuivalen didefinisikan sebagai relasi ekuivalen dengan $u\equiv v$ jika dan hanya jika isomorfisme $\varphi :S\to T$ with $u=v\circ \varphi$.)

Relasi ≤ induksi sebuah urutan parsial pada himpunan sub-objek dari $A$.

Himpunan sub-objek dari sebuah objek berupa kelas; pembahasan yang diberikan agak longgar. Jika himpunan sub-objek dari setiap objek adalah himpunan disebut sebagai pangkat well atau terkadang pangkat kecil lokal.

Contoh

• Dalam Himpunan, kategori himpunan, subobjek dari A dengan himpunan bagian B dari A, atau himpunan semua peta dari himpunan ekuipoten B dengan citra. Urutan parsial subobjek dari Himpunan untuk himpunan bagian kisi.
• Dalam Grp, kategori grup, sub-objek dari A dengan subgrup dari A.
• Diberikan kelas berurutan parsial P = (P, ≤), membentuk kategori dengan elemen P sebagai objek, dan satu panah dari p ke q jika dan hanya jika p ≤ q. Jika P menggunakan elemen terbesar, urutan parsial subobjek dari elemen terbesar. Semua panah dalam kategori adalah monomorfisme.
• Subobjek dari objek terminal disebut objek subterminal.

Lihat pula

• Pengklasifikasi subobjek
• Subhasilbagi

Referensi

• Templat:Citation
• Templat:Cite book