在范畴论中，若一个范畴满足下列条件，则称它是滤子化的（filtrant或filtered）：

• 非空。
• 对任意对象，存在对象及态射。
• 对任两个态射，存在对象及态射，使得。

以滤子化范畴为索引的上极限称作滤子化上极限，它带有良好的性质。

若是滤子化范畴，则称是上滤子化的（cofiltrant或cofiltered），以其为索引的极限称作上滤子化极限。

In category theory, filtered categories generalize the notion of directed set understood as a category (hence called a directed category; while some use directed category as a synonym for a filtered category). There is a dual notion of cofiltered category which will be recalled below.