tikz-cdで圏論の図を書く
\arrow, \arで矢印を書く
code:memo
例1
AからB,Cへの射が出ている
A→Bの上に$ \phi を書く
code:memo
\begin{tikzcd}
& C
\end{tikzcd}
https://gyazo.com/0e9669c5407cb61b66f51eb26c7f757a
例2
code:memo
\begin{tikzcd}
\end{tikzcd}
https://gyazo.com/2e2e1c70a420357afd5bbc0612af6dcd
例3
積の普遍性の定義を図にしたもの?
下記をtikzcdで書く
XからAへの射p
XからA×Bへの射m
XからBへの射q
A×BからAへの射$ \pi_A
A×BからBへの射$ \pi_B
code:memo
\begin{tikzcd}
A & & B
\end{tikzcd}
https://gyazo.com/f6f9cea42f0668c6166f0ed2ffcee123
例4:
射 f:A→ Bがモニック(monic)であるとは,任意の対象 T と任意の射 h:T → Aおよび
k:T → Aに対して,f$ \circ h=f$ \circ kならば h=kであることを言う。
https://gyazo.com/5eb03841f1ac022b4e78ef9537f99ece
code:memo
\begin{tikzcd}
\end{tikzcd}
確認用
Q. tikz-cdで圏論の図を書く
参考