つまり，集合と要素の関数から，全体の関数を導出できるような対象と言い換えることも出来る．
自由モノイドはモノイド圏の自由対象．
自由半群は群圏の自由対象．
Mathematics is the language with which God has written the universe.
