交換圖

交換圖是由標記箭頭連接的物件網格，是範疇論、代數和拓樸中的標準影像。 Raw TikZ 可以繪製一個，但以座標放置每個節點既慢又脆弱。 tikz-cd 套件將 TikZ 包裝在類似矩陣的語法中：您像表格一樣佈置對象，並按其方向描述每個箭頭。

\usepackage{tikz-cd}
\begin{tikzcd}
 A \arrow[r,"f"] \arrow[d,"g"'] & B \arrow[d,"h"] \\
 C \arrow[r,"k"'] & D
\end{tikzcd}

讀取語法

網格的工作方式類似於矩陣：「&」分隔列，「\」分隔行，因此該圖的頂行是 A 和 B，底行是 C 和 D。每個“\arrow[…]”都屬於它所寫入的單元格並指向遠離它的方向。第一個選項是方向，用字母「r」、「l」、「u」和「d」拼寫：「\arrow[r]」向右移動一個單元格，「\arrow[d]」向下移動一個單元格。這些字母在對角線和較長的範圍內組合並重複，因此“rd”是向右下一級，“rr”跨越兩列。

引號中的標籤位於箭頭上。預設情況下，它位於一側；結束引號後的素數，如““g””，將其翻轉到另一側。在範例中，素數將所有四個標籤保留在正方形的外側，這是通常的乾淨排列。

更多箭頭選項

更多選項堆疊在方向和標籤之後，以更改箭頭的樣式。 「hook」將尾部彎曲成包含箭頭，「two head」將頭部加倍以進行投影，「dashed」標記您斷言而不是假設的地圖，「Rightarrow」產生用於自然變換的雙軸箭頭。典型的通用屬性箭頭為 \arrow[rd, dashed, "\exists u"']。當圖表感覺狹窄時，環境中的間距選項會有所幫助，例如「\begin{tikzcd}[column sep=large]」。

實用筆記

tikz-cd 載入 TikZ 本身，因此不需要單獨的 \usepackage{tikz} 行，並且圖表使用標準引擎編譯，不需要外部繪圖工具。最常見的結構錯誤是網格不均勻：具有不同數量“&”分隔符號的行將物件移入錯誤的列，然後箭頭落在奇怪的位置。從上面的工作方塊開始，一次成長一行或一列，然後重新編譯。透過肉眼調試圖表比從原始程式碼調試要容易得多，並且 live Playground 在您鍵入時為您提供反饋。