Kategori aksesibel

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.

Kolimit- dan objek persentabel-
Maka  menjadi tak terbatas kardinal reguler, yaitu bilangan kardinal yang bukan merupakan penjumlahan dari sejumlah kecil kardinal yang lebih kecil; contohnya adalah  (aleph-0), bilangan kardinal pertama yang tak terhingga, dan , Kardinal pertama yang tak terhitung). Urutan himpunan parsial  disebut kolimit- jika setiap subset  dari  dengan kardinalitas kurang dari  memiliki batas atas di . Secara khusus, himpunan terarah biasa tepatnya adalah set yang diarahkan ke .

Sekarang biarkan  menjadi kategori. Limit langsung (juga dikenal sebagai kolom terarah) di atas  pada himpunan  disebut kolimit terarah-. Objek  dari  disebut persentabel- jika funktor Hom  dengan kolimit- dalam . Jelas bahwa setiap persentabel- pada objek disebut juga persentabel- maka  , karena terarah kolimit- juga terarah kolimit dalam kasus-. Persentabel- objek disebut persentabel finiter.

Contoh 
Dalam kategori Himpunan dari semua himpunan, objek yang dapat ditampilkan secara terbatas bertepatan dengan himpunan hingga. Persentabel- pada objek adalah himpunan kardinalitas yang lebih kecil dari .
Dalam kategori dari semua grup, sebuah objek dapat disajikan secara halus jika dan hanya jika itu adalah grup yang disajikan secara terbatas, yaitu jika objek memiliki presentasi dengan banyak generator. Untuk regular tak terhitung , persentabel- objek tepatnya grup dengan kardinalitas lebih kecil dari .
Dalam kategori kiri modul- di atas beberapa (asosiatif) gelanggang , objek yang dapat ditampilkan dengan tepat secara tepat adalah modul yang disajikan dengan baik.

Kategori- aksesibel dan ditampilkan secara lokal 
Kategori  disebut aksesibel- dengan ketentuan:

  memiliki kolimit diarahkan-
  berisi satu himpunan  dari persentabel- objek setiap objek  adalah terarah- kolimit objek .

Aksesibel- kategori disebut aksesibel finiter.
Sebuah kategori disebut dapat diakses jika aksesibel- untuk beberapa kardinal reguler yang tak hingga . 
Ketika kategori yang dapat diakses juga kokompleks, itu disebut persentabel lokal.

Funktor  antara aksesibel- kategori disebut aksesibel- asalkan  terarah kolimit-.

Contoh 

 Kategori Himpunan dari semua himpunan dan fungsi dapat dirapikan secara lokal, karena setiap himpunan adalah batas langsung dari himpunan bagiannya yang terbatas, dan himpunan hingga dapat dirapikan secara terbatas.
 Kategori -Mod dari (kiri) -modul secara lokal dapat digunakan untuk setiap ring .
 Kategori himpunan sederhana dapat diakses secara terbatas.
 Kategori Mod(T) model dari beberapa teori urutan pertama dengan tanda tangan yang dapat dihitung adalah aksesibel-. Persentabel- objek adalah model dengan jumlah elemen yang dapat dihitung.
 Contoh lebih lanjut dari kategori yang dapat dirapikan secara lokal adalah kategori aljabar finiter (yaitu kategori yang sesuai dengan varietas aljabar dalam aljabar universal) dan kategori Grothendieck.

Teorema 
Dapat ditunjukkan bahwa setiap kategori yang dapat ditampilkan secara lokal juga kompleks. Lebih lanjut, kategori dapat ditampilkan secara lokal jika dan hanya jika setara dengan kategori model dengan batas sketsa.

Funktor adjoin antara kategori yang dapat ditampilkan secara lokal memiliki karakterisasi yang sangat sederhana. Funktor  antara kategori yang dapat ditampilkan secara lokal:

 adalah adjoint kiri jika dan hanya jika kolimit,
 adalah sambungan yang tepat jika dan hanya jika mempertahankan batas kecil dan dapat diakses.

Catatan

Referensi 

 

Teori kategori