LaTeX
https://gyazo.com/2eef51bc2a2bb3819d845dd2c7b4b74e
LaTeX.icon用のソースコードをまとめてある
Latexit 設定
https://gyazo.com/041c79db0989f272dc57c37f2d0fdd19
code:product.tex
\newcommand\objA{{a}} \newcommand\objB{{b}} \newcommand\objAB{{a \times b}} \newcommand\objX{{x}}
\newcommand\arrsP{{\pi}}
\newcommand\arrF{{f}} \newcommand\arrG{{g}} \newcommand\arrUni{{(f,g)}}
\begin{tikzcd}ampersand replacement=\&,row sep=large
\& \objX \arrowld,"\arrF"' \arrowd,dashed, "\arrUni"description \arrowrd,"\arrG"\\
\objA \& \objAB \arrowl,"\arrsP_\objA"\arrowr,"\arrsP_\objB"' \& \objB
\end{tikzcd}
https://gyazo.com/d78381b84516ce1738706668f20c0621
code:coprod.tex
\newcommand\objA{{a}} \newcommand\objB{{b}} \newcommand\objAB{{a \amalg b}} \newcommand\objX{{x}}
\newcommand\arrsP{{\mu}}
\newcommand\arrF{{f}} \newcommand\arrG{{g}} \newcommand\arrUni{{f,g}}
\begin{tikzcd}ampersand replacement=\&,row sep=large
\objA\arrowrd,"\arrF"'\arrowr,"\arrsP _\objA" \& \objAB \arrowd, dashed, "\arrUni"description \& \objB \arrowl,"\arrsP _\objB"'\arrowld,"\arrG" \\
\& \objX \&
\end{tikzcd}
https://gyazo.com/d9b56bf974ecfd57e060ac2c364e2763
code:equalizer.tex
\newcommand\objA{{a}} \newcommand\objB{{b}} \newcommand\objC{{c}} \newcommand\objX{{x}}
\newcommand\arrF{{f}} \newcommand\arrG{{g}} \newcommand\arrE{{e}}
\newcommand\arrArb{{\forall}} \newcommand\arrUni{{\exists !}}
\begin{tikzcd}ampersand replacement=\&
\objX\arrowd, dashed, "\arrUni"'\arrowrd,"\arrArb" \& \& \\
\objC\arrowr,"\arrE"' \&\objA \arrowr,yshift=2pt,"\arrF"\arrowr,yshift=-2pt,"\arrG"' \&\objB
\end{tikzcd}
https://gyazo.com/7ec273de8033773332e64249207a3f3f
code:coequalizer.tex
\newcommand\objA{{a}} \newcommand\objB{{b}} \newcommand\objC{{c}} \newcommand\objX{{x}}
\newcommand\arrF{{f}} \newcommand\arrG{{g}} \newcommand\arrE{{e}}
\newcommand\arrArb{{\forall}} \newcommand\arrUni{{\exists !}}
\begin{tikzcd}ampersand replacement=\&
\objA \arrowr,yshift=2pt,"\arrF"\arrowr,yshift=-2pt,"\arrG"' \&\objB \arrowr,"\arrE" \arrowrd,"\arrArb"' \&\objC\arrowd, dashed, "\arrUni"\\
\& \&\objX
\end{tikzcd}
https://gyazo.com/4ad79ee0f7352803d929b96499b39b05
code:lim1.tex
\begin{tikzcd}row sep=small
& &a.T\arrowdd, "f.T" \\
x\arrowr, dotted, "\exists !"\arrowrru, bend left, "\theta_a"'\arrowrrd, bend right, "\theta_b" &\lim T\arrowru, "\pi_a"'\arrowrd,"\pi_b"&\\
& &b.T
\end{tikzcd}
https://gyazo.com/16330817abd7107f6c6bad4f45d07ce0
code:lim2.tex
\begin{tikzcd}
1 \arrowrd,"\lim T"\arrowr,phantom,""'name=U & \ \\
J\arrowu,"!"\arrowr,"T"'name=D & C \arrowshorten <=20pt,shorten >=4pt,pos=0.7,Rightarrow,from=U,to=D,"\pi"'
\end{tikzcd}
https://gyazo.com/5e354490050166ae7197a8fc28f3a99a
code:colim1.tex
\begin{tikzcd}row sep=small
a.T\arrowdd, "f.T"'\arrowrd, "\mu_a"'\arrowrrd, bend left, "\theta_a"' & & \\
&{\colim T}\arrowr, dotted, "\exists !" &x\\
b.T\arrowru, "\mu_b"\arrowrru, bend right, "\theta_b" & &
\end{tikzcd}
https://gyazo.com/f00ca655b906194477bc7f9b6f8f1f4c
code:colim2.tex
\begin{tikzcd}
1 \arrowrd,"\mathrm{colim} T"\arrowr,phantom,""'name=U & \ \\
J \arrowu,"!"\arrowr,"T"'name=D & C \arrowshorten <=20pt,shorten >=4pt,pos=0.75,Leftarrow,from=U,to=D,"\mu"'
\end{tikzcd}
https://gyazo.com/f56262d6071e433f052e2b1616eb21d4
code:adjoint1.tex
\begin{tikzcd}column sep=small
C \arrowrd,"L"'\arrowrr,equal,"C^\circ"& \arrowd,shorten >=4pt,Rightarrow,pos=0.4,"\eta" & C\\
& D \arrowru,"R"'
\end{tikzcd}
https://gyazo.com/99018dee6e3f9c2ec0a91b8f61ea4216
code:adjoint2.tex
\begin{tikzcd}column sep=small
& C \arrowrd,"L" \arrowd,shorten >=4pt,shorten <=4pt,Rightarrow,"\varepsilon" & \\
D \arrowru,"R" \arrowrr,equal,"D^\circ"'& \ & D
\end{tikzcd}
https://gyazo.com/a94a8e54fd4d2cfc2a7ad1dea6d4608e
code:algebra.tex
\begin{tikzcd}
s.F \arrowr,yshift=2pt,"l"\arrowr,yshift=-2pt,"r"' &g.F\arrowr,"e"\arrowrd,"\forall"' &a\arrowd, dashed, "\exists !"\\
& &x
\end{tikzcd}