Assertion: abelian group | /r/HasProperty | universal object
Facets:
value: to any other abelian group
type: TRANSITIVE-OBJECT
value: for quadratic maps from a
type: TRANSITIVE-OBJECT
Source sentences:
text: For any abelian group A, J.H.C. Whitehead pointed out that one can define another abelian group Γ(A) and a quadratic map q : A → Γ(A) which is a universal object for quadratic maps from A to any other abelian group.