自由对象维基百科,自由的 encyclopedia 在数学中,自由对象是抽象代数中的基本概念。就其通于各种代数结构(带有限操作)而言,它也属泛代数的一支,例子包括自由群、张量代数与自由格。在范畴论的框架下,可以将自由对象推广为自由函子,这是遗忘函子的左伴随函子。
在数学中,自由对象是抽象代数中的基本概念。就其通于各种代数结构(带有限操作)而言,它也属泛代数的一支,例子包括自由群、张量代数与自由格。在范畴论的框架下,可以将自由对象推广为自由函子,这是遗忘函子的左伴随函子。