함수
수학에서, 함수(函數, ) 또는 사상(寫像, )은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이다.
층 (수학)
위상 공간 사이의 연속 함수가 주어지면, 이로부터 그 위에 존재하는 층들의 사상을 유도할 수 있다. 이는 함자를 이룬다. 구체적으로, 위상 공간 사이의 연속 함수 formula_113가 주어졌다고 하고, 위상 공간 formula_14 위의, 아벨 군 값을 가진 층과 층 사상들의 범주를 formula_71라고 하자. 그렇다면 다음과 같은 함자들이 존재한다.
이들은 서로 수반 함자이다. 여기서 formula_149는 유도 범주, formula_150은 오른쪽 유도 함자를 나타낸다.