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.[1][2]
Lihat juga
Pranala luar
Referensi
- ↑ Olivia Caramello. Grothendieck toposes as unifying 'bridges' in Mathematics. Paris Diderot University (Paris 7). 2016.
- ↑ Olivia Caramello. Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic 'bridges. Oxford University Press. 2017. Vol. 1. doi:10.1093/oso/9780198758914.001.0001. ISBN 9780198758914.
Sumber dan atribusi
Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 28774638 (2026-01-03T14:12:39Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.