Comment tracer des diagrammes commutatifs?

\Xypic est un outil simple et puissant qui permet de réaliser de tels diagrammes comme dans ici:

\documentclass[a4paper,12pt]{article}
\usepackage[all]{xy}
\begin{document}
\[\xymatrix{
  A \ar[d] \ar[r] \ar@{=}[rd] & B \ar[d] \\
  C \ar[r] & D }
\]
\end{document}

On peut également utiliser le package amscd disponible sur https://www.ctan.org/{macros/latex/required/amslatex/math/} et l'environnement CD comme dans l'exemple~\vref{maths-commut-amscd} ou plus généralement le package amsmath comme dans l'exemple~\vref{maths-commut-amsmath} mais son offre est plus limitée.

Utilisation de amscd\label{maths-commut-amscd}

\documentclass{article}
\usepackage{amsmath,amscd}
\begin{document}
\[
\begin{CD}
   \mathcal{F} @>\otimes>> T\\
   @VdrVlfV @ViVjV\\
   \mathtt{f} @= t
\end{CD}
\]
\[
\begin{CD}
d @>>> e @>>> f \\
@AAA @. @AAA \\
a @>>> b @>>> c
\end{CD}
\]
\end{document}

Exemple d'utilisation d'amsmath pour un diagramme commutatif\label{maths-commut-amsmath}}:

\[
\begin{array}{ccccc}
d & \longrightarrow & e & \longrightarrow &f \\
\uparrow &&&& \uparrow \\
a & \longrightarrow & b &\longrightarrow& c\\
\end{array}
\]