XML構造の絵 - 檜山正幸のキマイラ飼育記 メモ編で絵を描いた「XML構造」の定義を与えておく。構文構成素に次がある。 文字 名前 文字列 属性（の集まり） タグ 内容 要素 それぞれの構成素をすべて集めた集合を（構文的）インスタンス領域と呼ぶ。インスタ…

ロゴもできた（？）ことだし、トレース付きモノイド圏を形式言語理論に使うヤツをさくさく進めよう（と言って進むもんじゃねー）。それで、やっぱり、双積を持つクリーネ圏（Kleene圏）をKozen圏と呼ぶことにした。この双積は、圏論的な直積かつ直和（余直積…

これは、トレース付きモノイド圏（traced monoidal categories）のロゴです。 直線が傾いているとか、下側のマルがもう少し大きいほうがいいとか、デザイン上の問題はあるけども、図形としてはコレだよ、やっぱり。イメージは線形なトレース付きモノイド圏、…