[일반] 자연수와 유리수 개수가 같은게 isomorphic 개념인가요?

[익명(223.39)]

증명이 결국 bijective function 찾는거던데
그런 함수가 존재해서 isomorphic하니까
기수라는 특성이 보존되므로 두 집합의 기수는 같다라는 흐름으로 이해하면 될까요?

[익명(223.38)]

동형이면 군이든 환이든 뭐든 구조가 있어야 하지 않음? 그냥 일대일함수잖아

[lp(yyi050324)]

set category를 생각하면 bijection이 isomorphism이 맞긴 하지

[익명(223.38)]

니 말 맞긴 한데... set category는 좀 심하다 그런 느낌이 남

[lp(yyi050324)]

근데 isomorphic이란 단어 빼면 학부수준에서도 다 맞는 얘기고 저런식으로 보겠다는게 카테고리 센스랑 잘 맞는것 같아서 그렇게 심하진 않은것 같은데 ㅎㅁ

[익명(39.7)]

뭐가 심해 걍 니가 하는 말에 적당히 이름 붙여서 한건데

[익명(39.7)]

고위개념이 아니라 걍 말만 좀 바꾼거야

[익명(223.62)]

아이소몰픽 집합론에선 순서도 보존함

[TQFT(lemonkx)]

순서를 보존하는건 partially-ordered나 well-ordered set의 category 아님?