拓撲斯

拓撲斯是範疇論中的概念。

基本介紹

• 中文名：拓撲斯
• 外文名：Topos
• 所屬學科：範疇論

簡介

拓撲斯的命名來源於拓撲，因為拓撲結構本質上被其集層的拓撲斯所描述。

定義

拓撲斯為滿足下列條件的範疇E：

(1)E的所有有限投射極限存在；

(2)E有子對象分類子；

(3)E為笛卡兒閉範疇。

性質

拓撲斯的所有有限歸納極限存在。

例子

集範疇Set是拓撲斯。

預層範疇是拓撲斯。