Topos

Topos adalah kategori dalam bidang matematika yang berperilaku seperti kategori berkas (sheaf) himpunan pada ruang topologi atau ruang yang tidak dapat dijelaskan dengan topologi klasik (topologi umum). Topos ini  berperilaku seperti kategori himpunan (set) dan memiliki sifat lokalisasi. Pada tahun 1960-an Alexander Grothendieck memperkenalkan topos elementer yang lebih umum digunakan dalam dunia logika matematika. Selain dari itu dia juga menyatukan metode topologi dan aljabar yang dikenal sebagai geometri aljabar atau topologi aljabar di mana konsep topos dapat diaplikasikan dalam bidang geometri aljabar modern dan fondasi matematika alternatif.

 Referensi 

 Lihat juga 
 Filsafat matematika

 Pranala luar 
 Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic 'bridges' 

Kategori: Logika matematika