濾子化範疇

在範疇論中，若一個範疇$I$滿足下列條件，則稱它是濾子化的（Template:Lang或Template:Lang）：

• $I$非空。
• 對任意對象$i,j\in I$，存在對象$k\in I$及態射$i\to k,j\to k$。
• 對任兩個態射$f,g:i\to j$，存在對象$k\in I$及態射$h:j\to k$，使得$h\circ f=h\circ g$。

以濾子化範疇為索引的上極限稱作濾子化上極限，它帶有良好的性質。

若$I^{\mathrm{o}\mathrm{p}}$是濾子化範疇，則稱$I$是上濾子化的（Template:Lang或Template:Lang），以其為索引的極限稱作上濾子化極限。