Lompat ke isi

Subobjek

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas

Dalam teori kategori, cabang dari matematika, Subobjek adalah, secara kasar, sebuah objek yang berada di dalam objek lain dalam kategori yang sama. Gagasan tersebut adalah generalisasi konsep seperti himpunan bagian dari teori himpunan, subgrup dari teori grup,[1] dan subruang dari topologi. Karena struktur detail objek tidak material dalam teori kategori, Definisi subobjek bergantung pada morphism yang mendeskripsikan bagaimana satu objek berada di dalam objek lain, daripada bergantung pada penggunaan elemen.

Konsep ganda untuk subobjek adalah objek hasil bagi. Ini menggeneralisasi konsep seperti kumpulan hasil bagi, grup hasil bagi, ruang hasil bagi, grafik hasil bagi, dll.

Definisi

Secara detail, maka menjadi objek dari beberapa kategori. Diberikan dua monomorfisme

dengan codomain , kami menulis jika faktor melalui , Artinya, jika ada seperti . Hubungan biner didefinisikan oleh

adalah hubungan kesetaraan pada monomorfisme dengan codomain , dan kelas kesetaraan yang sesuai dari monomorfisme ini adalah subobjek dari . (Secara ekuivalen, seseorang dapat mendefinisikan relasi ekivalen dengan jika dan hanya jika ada isomorfisme with .)

Relasi ≤ menginduksi sebuah urutan parsial pada kumpulan sub-objek dari .

Kumpulan sub-objek dari sebuah objek sebenarnya bisa berupa kelas yang sesuai; Artinya pembahasan yang diberikan agak longgar. Jika kumpulan sub-objek dari setiap objek adalah himpunan, kategorinya disebut bertenaga baik atau terkadang kecil lokal.

Contoh

Lihat pula

Catatan

  1. ^ Mac Lane, p. 126

Referensi