2017-10-30から1日間の記事一覧
ER図不要論は、純粋リレーション主義者のプロパガンダ、ネガティブ・キャンペーンだ。まずは基本事項: 集合と要素 単元集合と終集合 写像 恒等写像と包含写像 終写像 単射と全射 集合の直積、2項直積とn項直積、要素のペアとタプル 多変数関数と直積からの…
制約の種類とスケッチの描き方 制約 スケッチの描き方 単射性 アロー先端に大なりマーカー 全射性 アロー根本に大なりマーカー 同時単射性 スパンのアロー(複数)に棒 コンポジション 三角形を水色で塗る 直積 三角形をピンクで塗る ファイバー積 四角形を…
圏の生成系(表示、指標)とスケッチを一緒にした概念をグラフ理論的に定式化する。基本になるのは有向グラフで「ノードとアロー」という言葉を使う。ノードとアローから作られる2次元、3次元図形を考える。 n角形=n辺形、ただし、辺の向きも考慮する。 二…
ともかく用語がたくさんある。 表示(denotationやrepresentationじゃなくて、presentation) 生成系と関係 : 古典的な用法、たぶん群表示が起源 生成系と等式系 : 関係が等式のとき 生成系 : 関係も生成系の一部と考える コンピュータッド : 次元(次数…