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