一个 范畴，以集合的范畴的属性为模型。一个范畴 
是一个拓扑斯，如果 
具有有限极限，并且 
的每个对象都有一个幂对象 (Barr and Wells 1985, p. 75)
拓扑斯
参见
范畴, 逻各斯使用 Wolfram|Alpha 探索
参考文献
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.在 Wolfram|Alpha 中被引用
拓扑斯请引用为
Weisstein, Eric W. "拓扑斯。" 来自 MathWorld——Wolfram 网络资源。 https://mathworld.net.cn/Topos.html