定義
C を圏とする。
C における任意の有限図式(過去スレ019の177)に対して
それを基底とする余錐(過去スレ018の841)が存在するとき C をフィルター圏(filtered category)と呼ぶ。