Diagrammi

Per i diagrammi commutativi (frequenti in algebra, teoria delle categorie, logica) si utilizza il pacchetto tikz-cd, che estende tikz con una sintassi dedicata a nodi e frecce disposti in griglia.

\usepackage{tikz-cd}

Diagramma di base

\begin{tikzcd}
    A \arrow{r}{f} \arrow[swap]{d}{g} & B \arrow{d}{h} \\
    C \arrow{r}{k}                    & D
\end{tikzcd}

• \arrow{r}{f} disegna una freccia verso destra (r = right) etichettata f.
• \arrow{d}{g} disegna una freccia verso il basso (d = down) etichettata g.
• swap sposta l'etichetta dall'altro lato della freccia (utile quando altrimenti si sovrapporrebbe al diagramma).

Frecce speciali

\begin{tikzcd}
    A \arrow[hook]{r}      & B \\
    A \arrow[two heads]{r} & B \\
    A \arrow[dashed]{r}    & B \\
    A \arrow[leftrightarrow]{r} & B
\end{tikzcd}

• hook — inclusione (freccia con uncino).
• two heads — funzione suriettiva.
• dashed — freccia tratteggiata (ad esempio per morfismi indotti).
• leftrightarrow — freccia bidirezionale.

Suggerimento

tikz-cd ha un editor visuale online che genera il codice tikzcd a partire da un diagramma disegnato col mouse — comodo per diagrammi complessi che sarebbero lenti da scrivere a mano.

Pacchetti relativi

• tikz-cd
• Documentazione ufficiale (con l'elenco completo degli stili di freccia disponibili)