スキーマ、指標、インターフェイス、シェープ、ダイアグラム、基礎系／係数系 制約、法則、公理、表明、一貫性、整合性、2-セル生成系、（付加的）構造 インスタンス、モデル、表現、実現、代数／余代数、状態、加群、前層、シェープ付きデータ スキーマ変換…

アクセッサ、観測子（オブザーバー、オブザーバブル）、属性、プロパティ、カラム、フィールド、座標、リーダー、ゲッター、セレクター ミューテーター（ミューテーション）、更新子（アップデータ）、変更子（モディファイヤー）、狭義のメソッド、アクショ…