もうひとつF、DAFFTOC
発音できるアクロニム DAFTOC(ダフトック) - 檜山正幸のキマイラ飼育記 メモ編の追加。
形容詞 | 曲面 |
---|---|
有限 | コンパクト |
Directed | co-directed |
Acyclic | trended |
Fluent | no-divergent |
Fat | oriented |
Trivalent | triangulated |
Open End | in/out boundary edge/segment |
Closed End | null boundary edge/segment |
Fatを追加。fat graphとは頂点ごとに、接続する辺のあいだにサイクリックオーダーを持つもので、曲面の向き付け(orientation)に相当する。
グラフ上のfat構造がないと、引数や戻り値の順序を指定できない。fat構造があれば、不変量の標的圏は、非対称なモノイド圏であってもよい。例えば、自己関手と自然変換の圏を標的圏にした不変量でもよい。DAFFTOC図のノードにはフロベニウスモナドのモナド乗法/余乗法を割当てられる。