23 Jul 2026

Commutative diagrams on the blog

Ladies and gentlemen. Peek this crazy shit:

$\begin{tikzcd} A && B \\ \\ {A'} && {B'} \arrow["f", from=1-1, to=1-3] \arrow["g"', from=1-1, to=3-1] \arrow["h", from=1-3, to=3-3] \arrow["{f'}"', from=3-1, to=3-3] \end{tikzcd}$