Topos adalah kategori dalam bidang matematika yang berperilaku seperti kategori berkas (sheaf)himpunan pada ruangtopologi 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]
