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:
“Superstition saw
Something it had never seen before:
Brown eyes that loved without a trace of fear,
Beauty so sudden for that time of year.”
—Jean Toomer (1894–1967)