圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
(universe) <strong>と</strong>いいます.<br />
すべての集合の集まりは真のクラス<strong>と</strong>なってしまいます. そこで, すべ<br />
ての集合の集まりの<strong>よ</strong>うな振<strong>る</strong>舞いをしながらそれ⾃自⾝身も集合であ<strong>る</strong>グ<br />
ロタンディーク宇宙 (Grothendieck universe)<strong>と</strong>いうものを考えます. ア<br />
レクサンドル・グロタンディーク (Alexander Grothendieck, 1928-) が<br />
名前の由来です.<br />
数学的な定義を紹介しておきます. 集合