自由関手

集合間の写像を自由群間の準同型写像に対応させる関手を自由関手という．

自由関手は忘却関手とは反対方向であり左随伴であるという．

Mathematics is the language with which God has written the universe.





















二項分布とポアソン分布の関係 自由対象 関数の台 $\omega$ 有向完備順序 コンパクト性と完備性 意味関数