Perpustakaan Digital ITB

Pada tesis ini, diberikan eksposisi terkait kategori-1 dengan pendekatan dari himpunan simplisial. Berbekal motivasi dari teori homotopi, dibahas pula konstruksi kompleks Kan sebagai grupoid-1 yang menggeneralisasi konsep grupoid fundamental dari ruang topologi. Akan ditunjukkan pula bahwa nerve dari kategori adalah suatu kuasikategori. Terakhir, diberikan beberapa contoh kategori- (rumus)