圏 C における任意の有限図式(>>8)に対して
それを基底とする余錐(過去スレpart2の830)が存在するとき
C をフィルター圏(filtered category)と呼んだ(代数的整数論020の97)。