[追記]いいこと気付いたと思ったが、ずっと昔に同じこと書いてたわ。アジャー。「だんだん思い出した：指標＝インターフェイスの理論 - 檜山正幸のキマイラ飼育記 メモ編」参照。[/追記]パラメータ付きのインターフェイスが難しいのは、それがプリミティブで…

点列の収束／極限などの概念を特別扱いせずに、位相空間と連続写像の一般論に吸収したほうがいいと思う。離散空間Nとコンパクト空間N∞のペアを考えて、連続写像が拡張可能かどうかを考える話になる。部分空間で定義された連続写像を、親の空間全体に拡張する…