Как разместить объект внутри прямоугольного треугольника Tikzcd?

Question

Итак, у меня есть следующая диаграмма Tikzcd, и я пытаюсь поместить Y в центр треугольника W, (X x Y), X или треугольника W, (X x Y), (X x Y) x Z

\begin{equation*}
\begin{tikzcd}[column sep=large, row sep=large]
    X
    &
    & W 
        \ar[lldd, "(f'\times g')" description, dashed]  
        \ar[dd, "(f'\times g')\times g" description, dashed]
        \ar[rdd, "g"]
        \ar[ll, "f'"']
    & 
\\
    &Y
    &Y
    &
\\
    (X\times Y) 
        \ar[uu, "\pi_X"]
    &
    & (X\times Y)\times Z 
        \ar[ll, "p_{X\times Y}"]
        \ar[r, "p_Z"']
    & Z
\end{tikzcd}
\end{equation*}

Я пробовал добавлять больше строк и столбцов. Но, похоже, tikz-cd делает так, что интервал между столбцами неравномерный, требуется слишком много строк и столбцов, чтобы это было практично. Как лучше всего это исправить?

Answer 1

Вы можете запомнить узлы и использовать наложение, чтобы нарисовать нужные узлы в барицентрах треугольников.

\documentclass{article}
\usepackage{amsmath}
\usepackage{tikz-cd}
\begin{document}
\begin{equation*}
\begin{tikzcd}[column sep=large, row sep=large,remember picture]
    |[alias=X]| X
    &
    & |[alias=W]| W 
        \ar[lldd, "(f'\times g')" description, dashed]  
        \ar[dd, "(f'\times g')\times g" description, dashed]
        \ar[rdd, "g"]
        \ar[ll, "f'"']
    & 
\\
    &Y
    &Y
    &
\\
    |[alias=XxY]| (X\times Y) 
        \ar[uu, "\pi_X"]
    &
    & |[alias=XxYxZ]| (X\times Y)\times Z 
        \ar[ll, "p_{X\times Y}"]
        \ar[r, "p_Z"']
    & Z
\end{tikzcd}
\tikz[overlay,remember picture]{%
\node (Y1) at (barycentric cs:X=1,W=1,XxY=1) {$Y$};
\draw[->] (Y1) -- (W);\draw[->] (Y1) -- (XxY);
\node (Y2) at (barycentric cs:XxYxZ=1,W=1,XxY=1) {$Y$};
\draw[->] (Y2) -- (W);\draw[->] (Y2) -- (XxY);
}
\end{equation*}
\end{document}

Увеличивая коэффициенты Xили , XxYxZможно немного сместить узел в сторону прямоугольных углов.

ОБНОВЛЯТЬ: Добавлены соединительные стрелки, возможно, их слишком много, но должно быть очевидно, какие из них нужно удалить.