圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
図式<br />
さて, すで<strong>に</strong><strong>圏</strong><strong>論</strong>の定義で使った図式<strong>に</strong>ついて説明します.<br />
<strong>圏</strong> C 上の図式 (diagram) D は, C の対象を頂点で, 射を⽮矢印で表したも<br />
のです.<br />
図式<strong>に</strong>あ<strong>る</strong>射だけで合成射を作<strong>る</strong>こ<strong>と</strong>ができます. 図式<strong>に</strong>も<strong>と</strong>も<strong>と</strong>あ<strong>る</strong><br />
射<strong>と</strong>新しく作った合成射を合わせた射のあいだで, 始域<strong>と</strong>終域が同じ射ど<br />
うしは必ず等しい<strong>と</strong>き, その図式は可換 (commutative) であ<strong>る</strong><strong>と</strong>いいま<br />
す. 図式が可換であ<strong>る</strong>こ<strong>と</strong>は, 中<strong>に</strong>左回りの⽮矢印を書き⼊入れて表します.<br />
た<strong>と</strong>えば図式<br />
が可換であ<strong>る</strong><strong>と</strong>は ℎ ∘