함수
수학에서, 함수(函數, ) 또는 사상(寫像, )은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이다.
현수 (위상수학)
현수와 마찬가지로, 밑점을 보존시키는 연속함수 formula_20가 주어지면, 밑점을 보존시키는 연속함수
가 존재한다. 이에 따라, 축소 현수는 점을 가진 공간들과 점을 보존시키는 연속 함수들의 범주 formula_22의 자기 함자
를 이룬다. 이 함자의 왼쪽 수반 함자는 고리 공간 함자 formula_24이다.