스톤-체흐 콤팩트화: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
31번째 줄:
및 망각 함자
:<math>|\cdot|\colon\operatorname{Top}\to\operatorname{Set}</math>
가 주어졌다면, <math>|\cdot|\circ U\circ\beta\circ D</math>는 집합의 범주 위의 [[모나드 (범주론)|모나드]]를 이루며, 이 모나드 위의 대수는 콤팩트 하우스도르프 공간이다.
 
== 역사 ==