自由関手

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

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

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