小さい余フィルター圏（>>591）を対象とし、その間の関手を射とすることにより圏が得られる。
この圏を Cofltr と書く。