Um diagrama de teoria de categorias (precisa de ajuda)

Question

Sou iniciante em látex. Por favor, ajude-me a desenhar este diagrama de teoria de categorias via látex. Eu tentei este código, mas funcionando:

\begin{tikzcd}
A \arrow[dd, bend right, shift right=2] \arrow[rrr, bend left, shift left] &  &  & B \arrow[lll, bend left, shift left] \arrow[dd, bend left, shift left=2] & \colon  & P \\
                                                                           &  &  &                                                                          &         &   \\
C \arrow[uu, bend right, shift right=2]                                    &  &  & D \arrow[uu, bend left] \arrow[lll]                                      & \colon  & Q
\end{tikzcd}

Answer 1

Algo assim parece fazer o que você deseja:

\documentclass{article}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}[column sep=4em,row sep=4em,/tikz/column 2/.style={column sep=2em}]
A \arrow[r,bend left,"h"]
\arrow[d,bend right,swap,"f"]
    & C \arrow[l,bend left,"k"] \arrow[d,bend right,swap,"s"] &  : P\\
B \arrow[u,bend right,swap,"g"] & D \arrow[l]\arrow[u,bend right,swap,"t"] & : Q
\end{tikzcd}
\end{document}