Is there a standard name for taking a homomorphism from the free object over an algebraic structure? Roughly speaking, this should amount to evaluation of any element of the free object under the homomorphism.
For example, take the free commutative monoid over the set of natural numbers; elements of this monoid are finite multisets of natural numbers. By taking commutative monoid homomorphisms we can express many common operations, such as cardinality (map every generator to 1 and take sum as the monoid operation), sum (take every generator to itself and map the monoid operation to sum of natural numbers), product (take product of natural numbers rather than sum) etc.
Since these operations are all abelian monoid operations, we can expect a sensible result which will not depend on our multiset being non-empty or listing its elements in a specific order.
Does this idea generalize to other algebraic structures? Any known references?
No comments:
Post a Comment