시작 대상과 끝 대상: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
Chobot (토론 | 기여)
잔글 로봇이 바꿈: en:Initial and terminal objects; 예쁘게 바꿈
Adrenalin (토론 | 기여)
잔글편집 요약 없음
4번째 줄:
*[[집합의 범주]]에서 [[공집합]]은 유일한 시작 대상이며, 임의의 [[한원소 집합]]은 끝 대상이고, 영 대상은 존재하지 않는다. 마찬가지로 [[위상공간의 범주]]에서 공집합은 유일한 시작 대상이며, 임의의 한점 집합은 끝 대상이다.
*공집합이 아닌 집합의 범주에는 시작 대상이 존재하지 않는다. 한원소 집합에서 임의의 집합으로 가는 [[함수]]가 존재하지만 이는 일반적으로 유일하지 않으며, 따라서 한원소 집합은 시작 대상이 아니다.
*[[군의 범주]]에서 임의의 [[자명군]]은 영 대상이다. 이는 [[아벨군아벨 군]]의 범주나 고정된 [[환 (수학)|환]] 상의 [[좌가군]]의 범주에서도 성립하는 사실이며, 이로 인해 "영 대상"이라는 이름이 붙여지게 되었다.
*[[환의 범주]]에서 [[정수환]](및 그와 동형인 임의의 환)은 시작 대상이고, [[자명환]]은 끝 대상이다.
*[[스킴의 범주]]에서 공집합 스킴(자명환의 [[환의 스펙트럼|스펙트럼]])은 시작 대상이고, '''Z'''의 스펙트럼은 끝 대상이다.