함수
수학에서, 함수(函數, ) 또는 사상(寫像, )은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이다.
상수 함수
환 formula_76 위의 왼쪽 가군들의 범주 formula_77는 영 대상을 갖는 범주이며 따라서 영 사상을 갖는다. formula_77에서 영 사상은 0(가군 덧셈의 항등원)으로 가는 상수 함수이다. 가군 범주에서 상수 함수인 준동형은 영 사상밖에 없다.