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 objek hasil bagi. Untuk menggeneralisasi konsep himpunan hasil bagi, grup hasil bagi, ruang hasil bagi, grafik hasil bagi, dll.