[일반] 대수 뉴비 헬프~

[고무졸직(uyau391bq71x)]

free group 하고있는데

내가 이해한건 F(A) 가 free group on A 라는건 집합 A에서 어떠한 group으로 가는 coslice 카테고리에서 initial .

질문: most efficient way 가 무슨뜻인지 감이 안옴.. 왜 가장 효율적 효과적? 이라는거죠? initial 만 해당되는 이야기인가? final obj은?

추상에 늪에서 어푸어푸

[ultraproduct(ultraproduct)]

Group으로서 가지는 최소한의 연산 관계보다 '더 많은' 관계는 갖고 있지 않다는 뜻

[고무졸직(uyau391bq71x)]

흠..

[익명(174.249)]

A를 포함한다 외에 다른 아무런 정보가 없이 정의할 수 있는 유일한 추상적인 군이 free group이란 뜻임 group G가 A를 포함한다는건 A에서 G로가는 1-1 map (of sets)가 있단거고. 그럼 이 데이터를 갖고있는 universal object가 free group임. initial인 이유는 단순히 이 데이터가 가진 화살표 방향 때문

[고무졸직(uyau391bq71x)]

두뇌 풀가동