펼침
보이기
범주론에서 펼침(영어: span 스팬[*])은 범주 속의, 같은 정의역을 갖는 사상의 순서쌍이다.
정의[편집]
속의 펼침은 같은 정의역을 갖는 두 사상이다. 즉, 다음과 같은 꼴이다.
속의 두 펼침 , 의 합성은 다음과 같이 밂으로 정의되는 펼침 이다.
(물론, 이러한 밂은 유일하지 않다. 따라서, 선택 공리를 사용하여 이들을 골라야 한다.)
이렇게 임의로 모든 밂들을 골랐을 때, 와 같은 대상을 가지며, 펼침을 사상으로 갖는 범주 를 정의할 수 있다.
의 펼침은 쌍대펼침(雙對-, 영어: cospan)이라고 한다.
같이 보기[편집]
외부 링크[편집]
- “Span”. 《nLab》 (영어).
- “Cospan”. 《nLab》 (영어).
- “Span trace”. 《nLab》 (영어).
- “Cospan cotrace”. 《nLab》 (영어).
- “Quadrability”. 《nLab》 (영어).
- “Multispan”. 《nLab》 (영어).
- “Multi-cospan”. 《nLab》 (영어).