m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ トレース／コンパクト閉圏 形式言語理論 コゥゼン圏は、トレースを持つベキ等・双デカルト圏のこと（だとしたが、ベキ等を落としてもいい気もするが）。圏的指標Σがあるとき、Σから自由コゥゼン圏FK(Σ)を作れる。FK(Σ)は、Σの正規表現全体の代数に対応し、FK(Σ)の射は正規表現。圏的指標Σはグラフと考えてよい（プレ圏だと考えるのが正確）。アンビエント・コゥゼン圏C（意味領域）を適当に固定して、グラフ準同型γ:Σ→C があるとする。γはFK(Σ)→C のコゥゼン関手に拡張できる。コゥゼン関手は“コゥゼン圏の圏”の射、トレース付き双デカルト構造を保つ関手。γの拡張Γによる射の像は「正規表現の意味」を与える。もちろん、忘却関手U:Kozen… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20080514%2F1210737641" title="自由コゥゼン圏（Kozen圏） - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-05-14 13:00:41 rich https://m-hiyama-memo.hatenablog.jp/entry/20080514/1210737641 1.0 100%