このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

スケッチと制約

データベース 圏一般論 高次圏論 用語法 セオリー論

制約の種類とスケッチの描き方

制約 スケッチの描き方
単射性 アロー先端に大なりマーカー
全射性 アロー根本に大なりマーカー
同時単射性 スパンのアロー（複数）に棒
コンポジション 三角形を水色で塗る
直積 三角形をピンクで塗る
ファイバー積 四角形をピンクで塗る

制約の述語形式

制約 述語形式
単射性 Inj(f)
全射性 Surj(f)
同時単射性 Inj(<f, g>)
コンポジション Comp(f, g| h)
直積 DirectProd(A, B| X, p, q)
ファイバー積 FibProd(f, g| X, p, q)