Applicative Functors with Strings Applicative functor の記事をまとめました。 strcat/strapp.pdf at master · okomok/strcat · GitHub

external パッケージ TikZ の図を個別の pdf にコンパイルする。\includegraphicsで参照も出来る。これがないとちょっと推敲するごとに数(十)分待つ･･･なんてことになる。 バッドノウハウ 「md5 ファイルが作れない」というエラーが出る → 出力ディレクトリ…

Category Theory with Strings 圏論の記事(enriched系を除く)をまとめました。 strcat/strcat.pdf at master · okomok/strcat · GitHub

TikZ TikZ とは path (なるもの)を構築する tex のライブラリ。 Path Path とは、path operation が何個か連なったものであり、\pathcommand により構築する。 \fooは\path[foo]または\path fooの短縮形である。 Path operation Path operation は path を構…

# 参考文献 How to draw commutative diagrams in LaTeX with TikZ | A Beautiful Place