m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 用語法 圏一般論 スキーマ、指標、インターフェイス、シェープ、ダイアグラム、基礎系／係数系 制約、法則、公理、表明、一貫性、整合性、2-セル生成系、（付加的）構造 インスタンス、モデル、表現、実現、代数／余代数、状態、加群、前層、シェープ付きデータ スキーマ変換／発展、指標射、シェープ変換、構文的変換、基礎の置き換え（change of base）、幾何射 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20130304%2F1362355460" 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 2013-03-04 09:04:20 rich https://m-hiyama-memo.hatenablog.jp/entry/20130304/1362355460 1.0 100%