A free magma on a set is the "most general possible" magma generated by the set (that is there are no relations or axioms imposed on the generators; see free object). It can be described, in terms familiar in computer science, as the magma of binary trees with leaves labeled by elements of . The operation is that of joining trees at the root. It therefore has a foundational role in syntax.
A free magma has the universal property such that, if is a function from the set to any magma, then there is a unique extension of to a morphism of magmas
See also: free semigroup, free group, Hall set
Read more about this topic: Magma (algebra)
Famous quotes containing the word free:
“In some unused lagoon, some nameless bay,
On sluggish, lonesome waters, anchor’d near the shore,
An old, dismasted, gray and batter’d ship, disabled, done,
After free voyages to all the seas of earth, haul’d up at last and
hawser’d tight,
Lies rusting, mouldering.”
—Walt Whitman (1819–1892)