一個 範疇，以集合的範疇的屬性為模型。一個範疇 
是一個拓撲斯，如果 
具有有限極限，並且 
的每個物件都有一個冪物件 (Barr and Wells 1985, p. 75)
拓撲斯
參見
範疇, 邏各斯使用 探索
參考文獻
Barr, M. 和 Wells, C. 拓撲斯、三元組與理論。 New York: Springer-Verlag, 1985.Freyd, P. J. 和 Scedrov, A. 範疇、寓言。 Amsterdam, Netherlands: North-Holland, 1990.MacLane, S. 和 Moerdijk, I. 幾何與邏輯中的層：拓撲斯理論入門。 New York: Springer, pp. 24-30, 1994.McLarty, C. 初等範疇，初等拓撲斯。 New York: Oxford University Press, 1992.在 中被引用
拓撲斯請引用為
Weisstein, Eric W. "拓撲斯。" 來自 ——Wolfram 網路資源。 https://mathworld.tw/Topos.html