トーク:Regular category
提供: Mathpedia
別行立ての図式
これはさっき気づいたんですが、
<nowiki>
\begin{xy}
\xymatrix {
d\times_c d \ar[d]^{p_1} \ar[r]_{p_2} & d \ar[d]_f \\
d \ar[r]^f & c
}
\end{xy}
</nowiki>
のように書けば別行立ての図式も描けますね。（nowikiで囲うのがとても大事。） \begin{xy} \xymatrix { d\times_c d \ar[d]^{p_1} \ar[r]_{p_2} & d \ar[d]_f \\ d \ar[r]^f & c } \end{xy}
