跳转到内容

濾子化範疇

维基百科,自由的百科全书

範疇論中,若一個範疇滿足下列條件,則稱它是濾子化的(filtrantfiltered):

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

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

是濾子化範疇,則稱是上濾子化的(cofiltrantcofiltered),以其為索引的極限稱作上濾子化極限