「一般化フィルターの圏を真面目にやってみればぁ」をかすかに考えた。In-Outコンポネントの圏は、外側にあるコンポネントの圏の部分圏に過ぎない。しかし、一般化フィルター（以下では単にフィルター）の圏は部分圏ではない。特殊なIn-Outコンポネントから…