圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
ひ<strong>と</strong>しさ<br />
<strong>圏</strong><strong>論</strong>では, いろいろなレベルでの「ひ<strong>と</strong>しさ」を考えます. それぞれの<br />
ひ<strong>と</strong>しさを⽐比べてみましょう.<br />
まず, 相等 (equality). これは単純<strong>に</strong>イコール「=」の関係です. 相等<br />
は対象, 射, <strong>圏</strong>, 関⼿手, ⾃自然変換… あらゆ<strong>る</strong>もの<strong>に</strong>ついて考えられます.<br />
相等は⼀一番強い意味でのひ<strong>と</strong>しさです. しかし, もっ<strong>と</strong>弱い意味のひ<strong>と</strong>し<br />
さも⼤大事なのです.<br />
同型 (isomorphism) <strong>と</strong>は, ⾒見た⽬目は異な<strong>る</strong>けれども, 内部の構造はま<br />
ったく同じであ<strong>る</strong>こ<strong>と</strong>です.<br />
た<strong>と</strong>えば射 f:A→B <strong>に</strong>ついて