위상 공간 (수학): 두 판 사이의 차이

<math>\operatorname{Top}</math>은 [[완비 범주]]이며 [[쌍대 완비 범주]]이다. 즉, 모든 작은 (= [[고유 모임]] 크기가 아닌) [[극한 (범주론)|극한]]과 [[쌍대극한]]이 존재한다. [[시작 대상]]은 (유일한 위상을 갖춘) [[공집합]] <math>(\varnothing,\{\varnothing\})</math>이며, [[끝 대상]]은 하나의 점을 갖는[[한원소 공간]] <math>(\{\bullet\},\{\varnothing,\{\bullet\}\})</math>이다.