위상 공간(위상 공간 (수학))의 범주에서 집합 범주로 가는 망각 함자와 여러 유사한 성질을 보이는 함자
범주론과 일반위상수학에서, 위상 함자(位相函子, )는 위상 공간(위상 공간 (수학))의 범주에서 집합 범주로 가는 망각 함자와 여러 유사한 성질을 보이는 함자(함자 (수학))이다. 구체적으로, 주어진 집합을 정의역으로 하는 함수들로 유도되는 "가장 엉성한 구조" 및 주어진 집합을 공역(공역 (수학))으로 하는 함수들로 유도되는 "가장 섬세한 구조"가 유일하게 존재한다. 올범주의 개념에서, 사상을 임의의 원천으로 일반화하여 강화시킨 개념이다. 범주 의 원천(源泉, ) 은 다음과 같은 데이터로 구성된다. 마찬가지로, 의 흡입(吸入, ) 은 다음과 같은 데이터로 구성된다.
범주론에서 위상 함자가 뭐야
위상 함자