펼침

범주론에서 펼침()은 범주 속의, 같은 정의역을 갖는 사상의 순서쌍이다.

정의 
범주 가 모든 밂을 갖는다고 하자.

 속의 펼침은 같은 정의역을 갖는 두 사상이다. 즉, 다음과 같은 꼴이다.

 속의 두 펼침 , 의 합성은 다음과 같이 밂으로 정의되는 펼침 이다.

(물론, 이러한 밂은 유일하지 않다. 따라서, 선택 공리를 사용하여 이들을 골라야 한다.)

이렇게 임의로 모든 밂들을 골랐을 때, 와 같은 대상을 가지며, 펼침을 사상으로 갖는 범주 를 정의할 수 있다.

의 펼침은 쌍대펼침(雙對-, )이라고 한다.

외부 링크 
 
 
 
 
 
 
 

범주론