[일반] natural isomorphism 정의가 이거 맞나요

[익명(58.142)]

이건데 카테고리의 모든 원소에 대해 nat transform이 존재하고 nat transform그 역(inverse)도 nat transform이면 natural isomorphism이란 소리임???

수업몇번 빠졋더니 하나도 못따라가겟네요 ㅠ

[겨울_(silhouet72)]

natural transform 정의에서 각 component가 inverse를 가지면(= iso.면) natural equivalence라고 부른다는 뜻

[익명(58.142)]

아 감사합니다

[익명(125.177)]

본문 글에도 써있지만 equivalence말고 iso라고 쓰는게 좋음 equivalence는 weak equivalence나 homotopy equivalence라는 다른 종류의 맵과 용어혼란을 가져오기 땜에 오래된 책들외에는 잘 안쓰임