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:
“God isn’t compatible with machinery and scientific medicine and universal happiness. You must make your choice. Our civilization has chosen machinery and medicine and happiness.”
—Aldous Huxley (1894–1963)
“Crimes increase as education, opportunity, and property decrease. Whatever spreads ignorance, poverty and, discontent causes crime.... Criminals have their own responsibility, their own share of guilt, but they are merely the hand.... Whoever interferes with equal rights and equal opportunities is in some ... real degree, responsible for the crimes committed in the community.”
—Rutherford Birchard Hayes (1822–1893)