万有性质

数学 · 最自由最优的构造

术语解释

万有性质（Universal Property）用"最优性"来定义数学对象：不需要说对象"里面有什么"，只需说它和其他对象的关系是最优的。比如自由群就是"最自由的群"——没有任何多余约束。张量积、极限、余极限都可以用万有性质定义。

万有性质=用最优性定义对象，不看内部看关系