Trace Monoid
The trace monoid, commonly denoted as, is defined as the quotient monoid
The homomorphism
is commonly referred to as the natural homomorphism or canonical homomorphism. That the terms natural or canonical are deserved follows from the fact that this morphism embodies a universal property, as discussed in a later section.
Read more about this topic: Trace Monoid
Famous quotes containing the word trace:
“Yet ere I can say wherethe chariot hath
Passed over themnor other trace I find
But as of foam after the oceans wrath”
—Percy Bysshe Shelley (17921822)