圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
双関⼿手の重要な例のひ<strong>と</strong>つが hom 関手 (hom-functor) です. これは<br />
hom 集合の拡張<strong>に</strong>あた<strong>る</strong>ものです.<br />
局所的<strong>に</strong>⼩小さい<strong>圏</strong> C を考えます. 関⼿手