Kategori (matematika) itu apa sih?

Dalam matematika, kategori (terkadang disebut kategori abstrak untuk membedakannya dari kategori konkret) adalah kumpulan "objek" yang dihubungkan oleh "panah". Kategori memiliki dua properti dasar: kemampuan untuk menyusun panah asosiatif dan keberadaan panah identitas untuk setiap objek. Contoh sederhananya adalah kategori himpunan, yang objek himpunan dan panahnya adalah fungsi.

Teori kategori adalah cabang matematika untuk menggeneralisasi semua matematika dalam istilah kategori, terlepas dari apa yang diwakili oleh objek dan panahnya. Hampir setiap cabang matematika modern dapat dijelaskan dalam istilah kategori, dan mengungkapkan wawasan yang mendalam dan persamaan antara bidang matematika yang tampaknya berbeda. Maka, teori kategori memberikan landasan alternatif untuk matematika teori himpunan dan dasar aksiomatik lain yang diusulkan. Secara umum, objek dan panah dapat berupa entitas abstrak dalam bentuk, dan pengertian kategori menyediakan cara fundamental dan abstrak untuk menggambarkan entitas matematika dan relasi.

Selain memformalkan matematika, teori kategori juga digunakan untuk memformalkan banyak sistem lain dalam ilmu komputer, seperti semantik bahasa pemrograman.

Dua kategori adalah sama jika mereka memiliki koleksi objek yang sama, kumpulan panah, dan metode asosiatif untuk menyusun relasi panah. Dua kategori  berbeda  juga dapat dianggap "ekuivalen" untuk tujuan teori kategori, bahkan jika keduanya tidak memiliki struktur yang persis sama.

Kategori yang terkenal dilambangkan dengan kata atau singkatan singkat yang dicetak tebal atau miring: contohnya termasuk Himpunan, kategori himpunan dan fungsi himpunan; Gelanggang, kategori gelanggang dan homomorfisme gelanggang; dan ruang, kategori ruang topologi dan peta kontinu. Semua kategori sebelumnya memiliki peta identitas sebagai panah identitas dan komposisi sebagai operasi asosiatif pada panah.

Teks klasik dan masih banyak digunakan pada teori kategori adalah  Kategori untuk Matematikawan  oleh Saunders Mac Lane. Referensi lain diberikan dalam referensi di bawah. Definisi dasar dalam artikel ini terdapat dalam beberapa bab pertama dari salah satu buku ini.

Monoid sebagai jenis kategori khusus (dengan satu objek morfisme diwakili oleh elemen monoid), dan begitu pula praorder.