Universal Property
A dependency morphism (with respect to a dependency D) is a morphism
to some monoid M, such that the "usual" trace properties hold, namely:
- 1. implies that
- 2. implies that
- 3. implies that
- 4. and imply that
Dependency morphisms are universal, in the sense that for a given, fixed dependency D, if is a dependency morphism to a monoid M, then M is isomorphic to the trace monoid . In particular, the natural homomorphism is a dependency morphism.
Read more about this topic: Trace Monoid
Famous quotes containing the words universal and/or property:
“Of lower states, of acts of routine and sense, we can tell somewhat; but the masterpieces of God, the total growths and universal movements of the soul, he hideth; they are incalculable. I can know that truth is divine and helpful; but how it shall help me I can have no guess, for so to be is the sole inlet of so to know.”
—Ralph Waldo Emerson (1803–1882)
“It is as if being was to be observed,
As if, among the possible purposes
Of what one sees, the purpose that comes first,
The surface, is the purpose to be seen,
The property of the moon, what it evokes.”
—Wallace Stevens (1879–1955)