自由対象

最も制約のない対象のこと。 つまり、集合と要素の関数から、全体の関数を導出できるような対象と言い換えることも出来る。 自由モノイドはモノイド圏の自由対象。 自由半群は群圏の自由対象。