2013-03-04 一般関手モデルと同義語 用語法 圏一般論 スキーマ、指標、インターフェイス、シェープ、ダイアグラム、基礎系／係数系 制約、法則、公理、表明、一貫性、整合性、2-セル生成系、（付加的）構造 インスタンス、モデル、表現、実現、代数／余代数、状態、加群、前層、シェープ付きデータ スキーマ変換／発展、指標射、シェープ変換、構文的変換、基礎の置き換え（change of base）、幾何射
