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.[1][2]
Referensi
sunting- ^ Caramello, Olivia (2016). Grothendieck toposes as unifying 'bridges' in Mathematics (PDF) (HDR). Paris Diderot University (Paris 7).
- ^ Caramello, Olivia (2017). Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic 'bridges. Vol. 1. Oxford University Press. doi:10.1093/oso/9780198758914.001.0001. ISBN 9780198758914.
