查看“︁濾子化範疇”︁的源代码

在'''範疇論'''中，若一個範疇<math>I</math>滿足下列條件，則稱它是'''濾子化'''的（{{lang|en|filtrant}}或{{lang|en|filtered}}）：

* <math>I</math>非空。
* 對任意對象<math>i,j \in I</math>，存在對象<math>k \in I</math>及態射<math>i \rightarrow k, j \rightarrow k</math>。
* 對任兩個態射<math>f, g: i \rightarrow j</math>，存在對象<math>k \in I</math>及態射<math>h: j \rightarrow k</math>，使得<math>h \circ f = h \circ g</math>。

以濾子化範疇為索引的[[極限_(範疇論)|上極限]]稱作'''濾子化上極限'''，它帶有良好的性質。

若<math>I^\mathrm{op}</math>是濾子化範疇，則稱<math>I</math>是上濾子化的（{{lang|en|cofiltrant}}或{{lang|en|cofiltered}}），以其為索引的極限稱作'''上濾子化極限'''。

[[Category: 範疇論|L]]