濾子化範疇

在範疇論中 ， 若一個範疇滿足下列條件 ， 則稱它是濾子化的 （ 或 ） ： 非空 。 對任意對象 ， 存在對象及態射 。 對任兩個態射 ， 存在對象及態射 ， 使得 。 以濾子化範疇爲索引的上極限稱作濾子化上極限 ， 它帶有良好的性質 。 若是濾子化範疇 ， 則稱是上濾子化的 （ 或 ） ， 以其爲索引的極限稱作上濾子化極限 。 L