自由對象

在數學中 ， 自由對象是抽象代數中的基本概念 。 就其通於各種代數結構 （ 帶有限操作 ） 而言 ， 它也屬泛代數的一支 ， 例子包括自由群 、 張量代數與自由格 。 在範疇論的框架下 ， 可以將自由對象推廣爲自由函子 ， 這是遺忘函子的左伴隨函子 。