このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

もうひとつ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図のノードにはフロベニウスモナドモナド乗法/余乗法を割当てられる。