Topos（拓扑斯）是范畴论中的一类特殊范畴，具备子对象分类器与有限极限等结构，可视为集合范畴的推广，在逻辑、几何及数学基础中具有重要作用。主要字段包括：(对象)、(态射)、(子对象分类器)、(有限极限)、(拓扑斯类型)。
