圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
第 4 章 <strong>圏</strong><strong>論</strong>の基礎<br />
い<strong>よ</strong>い<strong>よ</strong><strong>圏</strong><strong>論</strong>の話をしていきます. ここまで⻑⾧長い道のりでしたね. しか<br />
し⾯面⽩白いのはここからです. 楽しみながら読み進めてください.<br />
さっそく, <strong>圏</strong>を定義していきます. そのあ<strong>と</strong>, そこから考えられ<strong>る</strong>⾊色々<br />
な概念<strong>に</strong>ついて説明します. 最初は<strong>よ</strong>くわからないかもしれませんが, 読<br />
み進め<strong>る</strong>うち<strong>に</strong>少しずつわかってく<strong>る</strong>はずです.<br />
<strong>圏</strong>の定義<br />
<strong>圏</strong> (category)