有向ネットにはいくつかのサブネット概念が考えられ、AarnesとAndenaesによるAAネットの概念はちょうど良い感じに弱くて、フィルターの圏と反変同値になる。これでネットを考えることと、フィルターを考えることは本質的に同一となる。一方は真クラス、もう…