사상 (수학)
From Wikipedia, the free encyclopedia
수학에서 사상(寫像, 문화어: 살, 범사, 영어: morphism 모피즘[*])은 수학적 구조를 보존하는 함수의 개념을 추상화한 것이다. 예를 들어 집합의 사상은 임의의 함수이며, 군의 사상은 군 준동형, 위상 공간의 사상은 연속 함수이다.
범주론은 대상과 사상으로 이루어진 범주를 연구하는 분야이다. 구체적 범주에서 대상은 집합 위에 특정한 구조가 주어진 것이고 사상은 그 구조를 보존하는 함수이나, 일반적인 범주에서 대상은 꼭 집합일 필요가 없고 사상은 단순히 대상들 사이의 '화살표'일 뿐이다.
사상이라는 용어는 영어 map에 대응하기도 하는데, 이 경우 맥락에 따라 함수(function)와 사상(morphism) 모두의 의미로 사용될 수 있다.