왠 근육돼지 형들 헬스 비포 에프터 사진만 왕창 나옴
수학얘기 : n by n 행렬의 determinant를 범주론적 관점에서 natural transformation으로 볼 수 있다고 하던데 조금 더 구체적으로 설명해줄 분 있습니까
왠 근육돼지 형들 헬스 비포 에프터 사진만 왕창 나옴
수학얘기 : n by n 행렬의 determinant를 범주론적 관점에서 natural transformation으로 볼 수 있다고 하던데 조금 더 구체적으로 설명해줄 분 있습니까
일단 det라는 natural transformation의 domain과 codomain이 될 펑터들이 무엇인지 생각해보고, ring homomorphism 하나 잡아서 왜 natural transformation에 정의에 나온 네모난 commutative diagram이 commutative diagram이 되는지 생각해봐. - dc App
힌트는 det가 natural transformation인 이유를 heuristical 하게 생각해보면 determinant를 구하는 방법은 주어진 환에 상관없이 모든 환들이 동일하게 가지는 곱셉성질에만 의존하기 땜문이고, 이때 ring homomorphism가 정의에 따라서 곱셈구조를 보존하기 때문이라 생각할수있음 - dc App