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.

Lihat juga

• Filsafat matematika

Pranala luar

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