Lang I.49에 왜 functor의 automorphism group이 생기는 건디 이해를 잘 못하겠음
Doubly transitive 쪽 문제에서도 확실히 이해하고 solution 쓰느라 시간 좀 많이 날렸는데
이번 달 안에 Chapter I 솔루션 완성할 수 있을지 모르겠네
원래는 딱 2달 되는 7월 18일까지는 끝내고 싶었는데 그건 이미 좀 힘들게 된 것 같고
Doubly transitive 쪽 문제에서도 확실히 이해하고 solution 쓰느라 시간 좀 많이 날렸는데
이번 달 안에 Chapter I 솔루션 완성할 수 있을지 모르겠네
원래는 딱 2달 되는 7월 18일까지는 끝내고 싶었는데 그건 이미 좀 힘들게 된 것 같고
Set(G)에서 Set으로 가는 모든 functor들의 category의 한 object로서 forgetful functor를 바라볼 때의 automorphism group을 생각한다는 뜻 같은데
책에 functor의 auto.의 소개가 생략됐는데 앞에서와 비슷하게 65p의 isom. of functors에서 L=M인 경우로 정의됨
f:(A,a:G×A->A)->(A',a':G×A'->A')가 G-set 맵, gㅌG, a_g(x) := a(g,x) a'_g(x') := a'(g,x') 일때, f•a_g=a'_g•f이므로 g_A :=a_g, g_A' :=a'_g라 두면 g가 a natural transformation F->F임을 알수있음. 그 역도 비슷하게 증명.