모노이드 자연 변형

이 글은 검증을 위해 인용구가 추가로 필요하다. 신뢰할 수 있는 출처에 인용문을 추가하여 이 기사를 개선할 수 있도록 도와주십시오. 공급되지 않은 재료는 도전하여 제거할 수 있다. 출처 찾기: "모노이드 자연 변형" – 뉴스 · 신문 · 책 · 학자 · JSTOR (2009년 12월) (이 템플릿 메시지를 제거하는 방법과 시기 학습)

$({\displaystyle C}$, ${\displaystyle \otimes }$, ${\displaystyle I}$) ${\displaystyle({\mathcal {C},\otimes$,${\displaystyle I}$$)}$ 및${\displaystyle }$(${\displaystyle D}$, ${\displaystyle \bullet }$, J${\displaystyle }$) ${\displaystyle({\mathcal {D},\bullet, J)}$이(가) 두 개의 단일 범주이며

${\displaystyle (F,m):({\mathcal {C}},\otimes ,I)\to ({\mathcal {D}},\bullet ,J)}$ and ${\displaystyle (G,n):({\mathcal {C}},\otimes ,I)\to ({\mathcal {D}},\bullet ,J)}$

그 범주들 사이에 두 개의 느슨한 단면체 펑커스가 있다.

단조로운 자연 변형

${\displaystyle \theta :(F,m)\to(G,n)}$

그 functor들 사이에 자연적 변환${\displaystyle }\theta {\displaystyle }$ : ${\displaystyle F}$→ G ${\displaystyle \theta$:다이어그램과 같은 기본 펑커 사이의$$ $F\to G}$

그리고

$C{\displaystyle \mathcal{}}$ ${\$의 모든 개체 $A{\displaystyle }$ ${\displaystyle A}$ 및$$ $B{\displaystyle }$ ${\displaystyle B}$에 대해 통근한다($$의 정의 11 참조).

대칭 단면체 자연 변환은 대칭 단면체 공극자 사이의 단면체 자연 변환이다.

참조