濾子化範疇

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

 非空。
 對任意對象，存在對象及態射。
 對任兩個態射，存在對象及態射，使得。

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

若是濾子化範疇，則稱是上濾子化的（或），以其為索引的極限稱作上濾子化極限。

L