문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 함수 (문단 편집) == 함자 == [include(틀:다른 뜻1, from=함자, other1=이름의 높임말, rd1=이름, other2=아랍 문자의 일종인 ء, rd2=아랍 문자)] {{{+1 [[函]][[子]] / functor}}} [[범주론]]에서는 집합론적 함수보다 추상화, 일반화한 개념인 '''사상(morphism)'''을 중심으로 수학적 구조를 바라본다. 이에 따라 단사함수, 전사함수, 전단사함수 등의 용어도 모닉사상(monomorphism), 에픽사상(epimorphism), 동형사상(isomorphism) 등으로 미묘하게 바뀌는데[* [[선형대수학]], [[현대대수학]]을 공부해봤다면 이 용어들이 익숙할 것이다. ], 그것이 집합론적 함수를 논하며 말하는 그것과 같은듯 하면서도 미묘하게 다르다는게 함정이다. 범주론에서는 사상의 대상으로 '''수학적 구조''', 그리고 '''범주''' 그 자체를 대상으로 삼는 것도 허용하기 때문에 집합론적인 함수 개념과는 달라진다. 예를 들어서 1<2 같은 단순한 부등호조차도 범주론에서는 1→2라는 관계가 존재한다고 보고, 이를 사상으로 취급할 수 있다. 이런 식으로 확장된 사상 중에서 '''두 범주 간의 사상으로서 사상끼리의 합성과 항등사상을 보존하는 것'''을 함자(functor)라고 부른다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기