or）formula_85间有着自然同构，而这自然同构由泛元素formula_86决定，而这可由预层的概念一般化。
初拓扑.任何的拓朴空间formula_37都有由映至谢尔宾斯基空间的连续函数的集族formula_62所引致的初拓扑。事实上，若要将formula_37的拓朴变得更加粗糙，那就必须将一些开集给移除；然而若将开集formula_43给移除，那么formula_50这个函数就会变得不连续，因此在formula_62当中的每个函数都连续的情况下，formula_37有着最粗