Daftar istilah teori kategori

Glosarium ini merupakan daftar sifat-sifat dan konsep-konsep di dalam teori kategori dalam ilmu matematika.

Artikel ini menggunakan notasi dan mengikuti konvensi berikut:

• [ n ] = {0, 1, 2, …, n }. Persamaan ini dilihat sebagai sebuah kategori dengan menuliskan $i\to j\iff i\le j$ .
• Cat (dari bahasa Inggris: category), kategori dari kategori-kategori (kecil), objek-objeknya merupakan beberapa kategori (yang kecil terhadap suatu semesta) dan fungtor morfismenya.
• Fct ( C, D ), kategori fungtor: kategori fungtor dari kategori C ke kategori D .
• Set, kategori himpunan (kecil).
• s Set, kategori himpunan simplisial.
• Jika salah satu dari kata "lemah" dan kata "ketat" dapat menyifati sebuah istilah, maka yang dimaksud adalah yang "lemah"; misalnya "kategori-n" berarti "kategori-n yang lemah" dan bukan yang ketat.
• Menyebutkan kategori ∞ secara umum bermaksud secara khusus membicarakan tentang kuasi-kategori — model kategori ∞ yang paling populer.
• Angka nol 0 adalah bilangan asli.