濾子化範疇
維基百科,自由的 encyclopedia
在範疇論中,若一個範疇滿足下列條件,則稱它是濾子化的(filtrant或filtered):
非空。
- 對任意對象
,存在對象
及態射
。
- 對任兩個態射
,存在對象
及態射
,使得
。
以濾子化範疇為索引的上極限稱作濾子化上極限,它帶有良好的性質。
若是濾子化範疇,則稱
是上濾子化的(cofiltrant或cofiltered),以其為索引的極限稱作上濾子化極限。
在範疇論中,若一個範疇滿足下列條件,則稱它是濾子化的(filtrant或filtered):
以濾子化範疇為索引的上極限稱作濾子化上極限,它帶有良好的性質。
若是濾子化範疇,則稱
是上濾子化的(cofiltrant或cofiltered),以其為索引的極限稱作上濾子化極限。