Kategori aksesibel itu apa sih?

Teori kategori aksesibel adalah bagian dari matematika, khususnya dari teori kategori. Ini mencoba untuk mendeskripsikan kategori dalam istilah "ukuran" (bilangan kardinal) dari operasi yang diperlukan untuk menghasilkan objek.

Teori ini berasal dari karya Grothendieck yang diselesaikan pada tahun 1969, and Gabriel and Ulmer (1971). Ini telah dikembangkan lebih lanjut pada tahun 1989 oleh Michael Makkai dan Robert Paré, dengan motivasi yang berasal dari teori model, cabang dari logika matematika.

Sebuah buku teks standar oleh Adámek dan Rosický muncul pada tahun 1994.

Kategori yang dapat diakses juga memiliki aplikasi dalam teori homotopi. Grothendieck melanjutkan pengembangan teori untuk tujuan homotopi-teoretik dalam manuskrip 1991 (masih sebagian belum diterbitkan) Les dérivateurs.

Beberapa properti kategori yang dapat diakses bergantung pada penggunaan himpunan universal, terutama pada properti kardinal dan prinsip Vopěnka.