自由対象
対象
圏論的DB
データスキーマの圏Schを扱う
table:対応
DB 圏論 Categorical Database
スキーマ 圏 データスキーマの圏Sch
isomorphic
全単射かつ準同型の写像があるとき、その写像のことを同型という
ϕが準同型で逆写像を持ち、逆写像も準同型のとき、ϕは同型である、という
このとき、写像の対象G1,G2も同型であるといいい、G1≅G2で表記する
定義
圏論とプログラミングの対応を一覧する
詳細は「まとめ」の欄に記す
基本的な圏の対応
table:基本的な圏の概念の対応
圏論 プログラム まとめ
identity
対象Aの恒等射をidAや1Aと表記する
自分から自分への射
対象と恒等射は一対一対応している
だから、「対象全体」と「射全体の一部」の間に一対一の対応がある