m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 圏一般論 モノイド圏 課題 データベース ダガー圏の表示として次のものを考える。 箙 箙のパス等式系 パス等式系は、辺の連接とダガー演算を使った形式的な項のあいだの形式的な等式の集まり。箙から生成した自由ダガー圏を、パス等式系で割り算してダガー圏ができる。ダガー圏の表示をダガー表示と呼ぶ。Dがダガー表示のとき、生成されたダガー圏をD◇で表す。ダガー表示D, Eのあいだの射は、D◇→E◇ というダガー関手のこと。Eがダガー表示のとき、E上のタビュレーションとは、集合Tで添字付けられた部分箙の族。正確に言うと： Tは集合。 Eの箙をQ(E)とする。Q(E)の部分箙の全体を Subquiv(Q(E)) とする。 τ:T→Subquiv(Q(… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20171018%2F1508301883" title="タビュレーション付きダガー表示 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2017-10-18 13:44:43 rich https://m-hiyama-memo.hatenablog.jp/entry/20171018/1508301883 1.0 100%