自由 (曖昧さ回避)
特に代数的な構造について、与えられた集合から生成される、あるいはそれを基底として、他の制約なしに生成された構造を自由と形容する。圏論において自由対象(英語版)として一般化され、自由対象を与える関手は忘却関手の左随伴となる (自由-忘却随伴)。
自由群
自由加群
多項式環
自由代数
自由圏(英語: free category)
自由リー環