위상 함자
위상 공간의 구체적 범주와 유사한 성질을 보이는 구체적 범주 / From Wikipedia, the free encyclopedia
범주론과 일반위상수학에서 위상 함자(位相函子, 영어: topological functor)는 위상 공간의 범주에서 집합 범주로 가는 망각 함자와 여러 유사한 성질을 보이는 함자이다. 구체적으로, 주어진 집합을 정의역으로 하는 함수들로 유도되는 "가장 엉성한 구조" 및 주어진 집합을 공역으로 하는 함수들로 유도되는 "가장 섬세한 구조"가 유일하게 존재한다. 올범주의 개념에서, 사상을 임의의 원천으로 일반화하여 강화시킨 개념이다.[1]:407, §1