2012-08-02から1日間の記事一覧
あ、そうだ。Nを名前の集合として、TreeRecN(V) というモナドがあるんだった。Nは固定するとして、TreeRecN(-) が集合圏の上の自己関手で、モナドの台。単位も乗法も言われてみればあたりまえのもの。CatyScriptで書けるだろう。
アルファベット 列 列言語 列正規表現 列オートマトン 釣り合い列(balanced sequence) ツリーアルファベット(分岐ノード記号とリーフノード記号) ツリーシリアライズ ツリーパターン ツリー正規言語 連接と包囲(enclosing) 明瞭性(Bruggemann-Klein &…
次のものは関係しそうだ。 圏を係数とする行列 豊饒圏 プロ関手 コボルディズムとTQFT 単体的圏からの関手 Aが何でもいいから集合として、Δ(A) を、Aから作った(抽象的)単体的複体の圏だとする。この圏の射は退化写像と辺写像から作られたもの。次元は Δ0i…