自由对象

在数学中，自由对象的概念是抽象代数的基本概念之一。它是泛代数的一部分，在某种意义上它涉及到所有类型的代数结构。它在范畴论方面也有一个公式，尽管那是更为抽象的术语。示例包括自由群、张量代数或自由格。不太正式地说，在一个集合a上的自由对象可以被认为是一个在a里面的“一般的”代数结构：在自由对象的元素之间唯一的方程式是那些从代数结构的定义公理中随之而来的方程式。