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 → j ⇔ i ≤ j.
  - Cat, kategori dari kategori-kategori (kecil), objek-objeknya merupakan beberapa kategori dan fungtor morfismenya.
  - Fct, 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.