拓撲斯

數學中 ， 拓撲斯 （ topos ） 是一種範疇 ， 性狀類似拓撲空間上的集合層範疇 。