つまり，集合と要素の関数から，全体の関数を導出できるような対象と言い換えることも出来る．
自由モノイドはモノイド圏の自由対象．
自由半群は群圏の自由対象．
Vita brevis, ars longa. Omnia vincit Amor.
