tion::::拓扑空间.拓扑空间范畴formula_85也是完备且上完备的。各种极限构造与集合相同，惟须安上适合的商拓扑或子空间的诱导拓扑。特别是可以构造一族无穷多个拓扑空间的极限及逆极限，此时相应的拓扑称作始拓扑或终拓扑。此类构造在泛函分析及同伦理论中特别有用。一个拓扑空间formula_44满足豪斯多夫性质的充要条件是formula_87的核formula_88是闭浸入，将此性质推广到概形上，则得到分离概形。
概形.概形范畴formula_89（或相对版本formu