濾子化範疇, 在範疇論中, 若一個範疇i, displaystyle, 滿足下列條件, 則稱它是濾子化的, filtrant, 或filtered, displaystyle, 非空, 對任意對象i, displaystyle, 存在對象k, displaystyle, 及態射i, displaystyle, rightarrow, rightarrow, 對任兩個態射f, displaystyle, rightarrow, 存在對象k, displaystyle, 及態射h, displaystyle, righ. 在範疇論中 若一個範疇I displaystyle I 滿足下列條件 則稱它是濾子化的 filtrant 或filtered I displaystyle I 非空 對任意對象i j I displaystyle i j in I 存在對象k I displaystyle k in I 及態射i k j k displaystyle i rightarrow k j rightarrow k 對任兩個態射f g i j displaystyle f g i rightarrow j 存在對象k I displaystyle k in I 及態射h j k displaystyle h j rightarrow k 使得h f h g displaystyle h circ f h circ g 以濾子化範疇為索引的上極限稱作濾子化上極限 它帶有良好的性質 若I o p displaystyle I mathrm op 是濾子化範疇 則稱I displaystyle I 是上濾子化的 cofiltrant 或cofiltered 以其為索引的極限稱作上濾子化極限 取自 https zh wikipedia org w index php title 濾子化範疇 amp oldid 36977053, 维基百科,wiki,书籍,书籍,图书馆,