AAサブネットによるネットの圏とフィルターの圏の同値性

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

github.com

この対応を使えば、収束空間を有向ネットで考えることもできると思う。函数解析をやるには一意性を詰める必要があると思うが、弱収束などにおいて位相を考えるよりは簡単な公理チェックでそれが自然な収束概念であることを示せると予想している。