Dalam matematika, kategori konkret adalah kategori yang dilengkapi dengan fungsi setia ke kategori himpunan. Funktor ini memungkinkan untuk memikirkan objek dari kategori sebagai himpunan dengan tambahan struktur, dan morfisme sebagai fungsi pemelihara struktur. Banyak kategori penting memiliki interpretasi yang jelas sebagai kategori konkret, misalnya kategori ruang topologi dan kategori grup, dan juga kategori himpunan itu sendiri. Di sisi lain, kategori homotopi ruang topologi tidak dapat dikonkretkan, yaitu tidak menerima fungsi yang setia ke kategori himpunan.
Sumber: Lihat artikel asli di Wikipedia
Dalam matematika, kategori konkret adalah kategori yang dilengkapi dengan fungsi setia ke kategori himpunan. Funktor ini memungkinkan untuk memikirkan objek dari kategori sebagai himpunan dengan tambahan struktur, dan morfisme sebagai fungsi pemelihara struktur. Banyak kategori penting memiliki interpretasi yang jelas sebagai kategori konkret, misalnya kategori ruang topologi dan kategori grup, dan juga kategori himpunan itu sendiri. Di sisi lain, kategori homotopi ruang topologi tidak dapat dikonkretkan, yaitu tidak menerima fungsi yang setia ke kategori himpunan.
