어떤 set A, group Z에 대해 set-function A -> Z를 object로 하여
morphism이 group homomorphism인 coslice category를 만든다.

이중에 initial object가 있다면 그게 몇개든지
nemeral nonsence에 의해 같다고 치고, 그걸 F(A)라고 하자.
내갸 이미 jnitial object를 잡았으니 universal하네?
이제 니들이 대수에서 배웠던 word, 또는 free group만드는 방법을 쓰면 F(A)가 존재하네!
증명 끝!

이게 맞음? 진짜면 애비스트랙트 니미럴 넌센스가 맞다