F_V(X) = quotient of term algebra T(X) by V-equational identities. Universal property: every map X → A in V extends uniquely to F_V(X) → A. Generalises free groups, free monoids, polynomial rings.
F_V(X) = quotient of term algebra T(X) by V-equational identities. Universal property: every map X → A in V extends uniquely to F_V(X) → A. Generalises free groups, free monoids, polynomial rings.