定理）若"u"不仅保持有限而且保持所有小极限。
赋环拓扑斯.一个赋环拓扑斯是对"(X,R)"，其中"X"是一拓扑斯而"R"是"X"中交换环对象。大部分赋环空间的构造可用在赋环拓扑斯上。"X"中"R"模对象范畴是有足够内射元的阿贝尔范畴。更有用的阿贝尔范畴是拟凝聚"R"模子范畴：它们是有展示的"R"模。除赋环空间，另一类重要的赋环拓扑斯是德利涅-芒福德栈的平展拓扑斯。
参考资料.
补充来源.以下是对范畴论和拓扑斯易学的介绍。 它