tikz-cdで圏論の図を書く

基本として\arrow, \arで矢印を書く

code:memo

他の基本的なことは下記を見ると良い

動画だと↓が良かった

例1

AからB,Cへの射が出ている

code:memo

\begin{tikzcd}

& C

\end{tikzcd}

https://gyazo.com/0e9669c5407cb61b66f51eb26c7f757a

例2

code:自然変換

\begin{tikzcd}

\end{tikzcd}

https://gyazo.com/2e2e1c70a420357afd5bbc0612af6dcd

例3

下記をtikzcdで書く

XからAへの射p

XからA×Bへの射m

XからBへの射q

code:積の普遍性

\begin{tikzcd}

A & & B

\end{tikzcd}

https://gyazo.com/98a99077ac3a603f316c84e2dcc85736

例4

射 f：A→ Bがモニック（monic）であるとは，任意の対象 T と任意の射 h：T → Aおよび

code:モニック射

\begin{tikzcd}

\end{tikzcd}

https://gyazo.com/5eb03841f1ac022b4e78ef9537f99ece

確認用

Q. tikz-cdで圏論の図を書く

参考