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:
“We are often made to feel that there is another youth and age than that which is measured from the year of our natural birth. Some thoughts always find us young, and keep us so. Such a thought is the love of the universal and eternal beauty.”
—Ralph Waldo Emerson (1803–1882)
“When a strong man, fully armed, guards his castle, his property is safe. But when one stronger than he attacks him and overpowers him, he takes away his armor in which he trusted and divides his plunder.”
—Bible: New Testament, Luke 11:21.22.