주다발: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
20번째 줄:
두 조건 가운데 둘째 조건은 다음과 같은 가환 그림으로 표현된다.
:<math>\begin{matrix}
&&\!\!\!\!\!\!\!\!P\times G\!\!\!\!\!\!\!\!\\
\bullet&\xrightarrow{p'}&P\\
&{\scriptstyle!\!\!\!\! p}\downarrow!\!\!\!\!\!\!\!\!\!\!^{\scriptstyleoperatorname{proj}_1}}\!\!\!\!\swarrow\!\!\!\!\!\!\!\!\!\!\!\!\!\!{\color{White}p^{\operatorname{proj}_1}\!\!\!\!\!\!}&{\scriptstyle\!\!\!\!\color{White}\exists!\cdot g}\nearrow{uparrow\scriptstyle\exists!\cdot g!\!\!\!}&{\scriptstyle!\!\!\!\color{White}^\picdot}\downarrowsearrow^\scriptstyle\picdot\!\!\!\!\\
P&\xleftarrow p&\bullet&\xrightarrow{p'}&P\\
P&\xrightarrow[\pi]{}&X
&{_\pi}\searrow{\color{White}_\pi}&&{\color{White}_\pi}\swarrow{_\pi}\\
\end{matrix}\qquad(g\in G)</math>
&&X
\end{matrix}\qquad(g\in G)</math>
 
만약