论文标题
通用性质的逻辑分析
A Logical Analysis of Universal Properties
论文作者
论文摘要
通用映射属性通常被描述为对象的表征，直到唯一的同构来考虑其与其他对象的关系。但是，“通过考虑其与其他对象的关系”一词并未明确或明确定义。在本文中，我们将介绍这种定义，该定义还将从逻辑角度概括通用属性的概念。
A Universal Mapping Property is generally described as a characterization of an object up to a unique isomorphism by considering its relation to every other object; however, the term "by considering its relation to every other object" is not clearly or explicitly defined. In this paper, we will introduce such definition which will also generalize the idea of a universal property from a logical perspective.
