Коммутативные диаграммы, стрелки

[_D4rki_]

Добрый день. Пытаюсь разбираться с Латехом, необходимо построить вот такую коммутативную диаграмму



Пока что через pb-diagram у меня получилось вот так:

\[ \begin{diagram}
\node[3]{M'} \arrow{sw,r}{e}\\
\node[2]{K}\arrow[2]{e,t}{f}
\arrow{se,l}{h}
\node[2]{L} \arrow{nw,l}{a} \arrow{sw,l}{g} \\
\node{L'}\arrow{ne,t}{d}\node[2]{M} \arrow[2]{w,l}{c} \arrow[2]{e,l}{p}
\node[2]{K'} \arrow{nw,l}{b}
\end{diagram}\]

Из чего у меня возникла пара вопросов: как сделать стрелки с кружками на начале, два параллельных отрезка, и вот такие вот дуги?

[Someone]

А пакет \Xy-pic не пробовали использовать?
$\xymatrix{ &&&A\ar@{o->}[llldd]\\ \\ B }$

[StaticZero]

Судя по докам на pb-diagram на ctan, кривых стреловек у них нет. Бедный пакет на функционал. Попробуйте tikz.

[Someone]

StaticZero в сообщении #1494595 писал(а):

Попробуйте tikz.

Этот пакет, на мой взгляд, слишком навороченный (катастрофически, на мой взгляд), если речь идёт всего лишь о рисовании коммутативных диаграмм. Пусть даже и с кривыми стрелками. Он и \Xy-pic-то для данной задачи переусложнённый.

$$\xymatrix{ {\circ} \ar `r[d] ^a `[rr] ^b `/4pt[rr] ^c `[rrr] ^d `_dl[drrr]^e [drrr]^f & {\circ} & {\circ} & {\circ} \\ {\circ} & {\circ} & {\circ} & {\circ} } \qquad \xymatrix@1{ A \ar@<-2pt> `d[r] `[r] [r] \ar@<+2pt> `d[r] `[r] [r] & B }$$

[StaticZero]

Someone, там можно подмножество пакета по своему вкусу выбрать.

[Someone]

StaticZero в сообщении #1494613 писал(а):

там можно подмножество пакета по своему вкусу выбрать.

Можно. Но для этого надо ознакомиться с руководством объёмом 1320 страниц. И я неоднократно сталкивался с тем, что примеры, приведённые в этом руководстве, не срабатывают, и приходится долго экспериментировать, чтобы понять, как же это исправить.
А в \Xy-pic руководство для начинающих содержит всего 16 страниц, с примерами и упражнениями. Достаточно ознакомиться с основными командами, и уже можно рисовать коммутативные диаграммы. Вплоть до таких: https://dxdy.ru/post169421.html#p169421.

$$\xymatrix{{X_1}\ar[dddd]_{f_1}\ar[rddd]_(.65){f_{1\mathfrak A_1}}\ar[rdd]^{h_{11}}\ar[rrd]^{\tilde g_{1h\alpha}}\ar[rrrr]^{\phi_1}&&&&{X_2}\ar[lld]_{\tilde g_{2\alpha}}\ar[ldd]_{h_{21}}\ar[lddd]^(.65){f_{2\mathfrak A_2}}\ar[dddd]^{f_2}\\&&{\mathbb R}\\&{X'_1}\ar[ldd]_{h_{12}}\ar[d]^(.35)*\txt{\rotatebox{90}{$\supseteq$}}\ar[rr]^{\phi_0}\ar[ru]^{\bar g_{1h\alpha}}&&{X'_2}\ar[d]_(.35)*\txt{\rotatebox{90}{$\supseteq$}}\ar[rdd]^{h_{22}}\ar[lu]_{\bar g_{2\alpha}}\\&{Y_{1\mathfrak A_1}}\ar[ld]^{^{\mathfrak A_1}\pi_1}\ar[rr]^{\bar\phi}\ar[ruu]_(.35){^{\mathfrak A_1}_{h\alpha}\psi_1}&&{Y_{2\mathfrak A_2}}\ar[rd]_{^{\mathfrak A_2}\pi_2}\ar[luu]^(.35){^{\mathfrak A_2}_{\phantom h\alpha}\psi_2}\\{Y_1}\ar[rrrr]^{\phi_2}&&&&{Y_2}}$$

А если этого мало, то в этом руководстве много чего ещё есть. А можно найти и более подробные руководства (https://dxdy.ru/topic35475.html, http://xy-pic.sourceforge.net/).

[Slav-27]

Someone в сообщении #1494652 писал(а):

ознакомиться с руководством объёмом 1320 страниц.

Для большинства коммутативных диаграмм достаточно 17-страничного руководства конкретно к tikz-cd.
https://www.ctan.org/pkg/tikz-cd