☰

Как рисовать коммутативные диаграммы в LaTeX?

tag-icon • tag-icon diagrams tikz-cd
Как рисовать коммутативные диаграммы в LaTeX?

Я хотел бы научиться делать коммутативные прямоугольники с помощью Tikz. Как я могу это сделать? Я пробовал

\[\begin{tikzcd}
A \arrow{r}{\varphi} \arrow[swap]{dd}{g\circ f} & B \arrow{d}{g} \\
& C
\end{tikzcd}
\]

но он рисует только треугольник.

решение1

Я не знаю, что именно вы хотели нарисовать, поэтому воспроизвожу одну из диаграмм из вашей ссылки, показывающую, как это сделать с pst-nodeи с tikz-cd. Одно из главных отличий в том, что в pstricksвы сначала описываете узлы, потом стрелки, тогда как при tikz-cd, узлы и стрелки описываются одновременно.

Я загружаю auto-pst-pdf, так как pdflatex не поддерживает инструкции postscript. Вам нужно установить --enable-write18переключатель компилятора (MiKTeX) или -shell-escape(TeX Live, MacTeX). В качестве альтернативы вы можете скомпилировать с помощью xelatex.

\documentclass{article}
\usepackage{pst-node}
\uspackage{auto-pst-pdf}
\usepackage{tikz-cd} 

\begin{document}
%
 \[ \psset{arrows=->, arrowinset=0.25, linewidth=0.6pt, nodesep=3pt, labelsep=2pt, rowsep=0.7cm, colsep = 1.1cm, shortput =tablr}
 \everypsbox{\scriptstyle}
 \begin{psmatrix}
 A & B\\%
 A_f & B_g
 %%%
 \ncline{1,1}{1,2}^{\varphi} \ncline{1,1}{2,1} <{\varrho_f }
 \ncline{1,2}{2,2} > {\varrho_g}
 \ncline{2,1}{2,2}^{\varphi_f}
 \end{psmatrix}
 \]

\[ \begin{tikzcd}
A \arrow{r}{\varphi} \arrow[swap]{d}{\varrho_f} & B \arrow{d}{\varrho_g} \\%
A_f \arrow{r}{\varphi_f}& B_g
\end{tikzcd}
\]
\end{document}

введите описание изображения здесь

решение2

Чисто с математическим режимом Plain TeX:

\catcode`\@=11
\newdimen\cdsep
\cdsep=3em

\def\cdstrut{\vrule height .6\cdsep width 0pt depth .4\cdsep}
\def\@cdstrut{{\advance\cdsep by 2em\cdstrut}}

\def\arrow#1#2{
  \ifx d#1
    \llap{$\scriptstyle#2$}\left\downarrow\cdstrut\right.\@cdstrut\fi
  \ifx u#1
    \llap{$\scriptstyle#2$}\left\uparrow\cdstrut\right.\@cdstrut\fi
  \ifx r#1
    \mathop{\hbox to \cdsep{\rightarrowfill}}\limits^{#2}\fi
  \ifx l#1
    \mathop{\hbox to \cdsep{\leftarrowfill}}\limits^{#2}\fi
}
\catcode`\@=12

\cdsep=3em
$$
\matrix{
  A                    & \arrow{r}{\varphi}   & B                    \cr
  \arrow{d}{\varrho_f} &                      & \arrow{d}{\varrho_g} \cr
  A_f                  & \arrow{r}{\varphi_f} & B_g                  \cr
}
$$

\bye

введите описание изображения здесь

решение3

Хорошо. Я научился строить коммутативные прямоугольники.

\[\begin{tikzcd}
A_f \arrow{r}{\varphi_f} \arrow[swap]{d}{\varrho_x^f} & B_g \arrow{d}{\varrho_x^g} \\
A_x \arrow{r}{\varphi_y} & B_y
\end{tikzcd}
\]

Связанный контент