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:
“Some wood-daemon
has lightened your steps.
I can find no trace of you
in the larch-cones and the underbrush.”
—Hilda Doolittle (1886–1961)