2016-03-26 String diagram による圏論まとめ 圏論 String diagram TeX TikZ Category Theory with Strings 圏論の記事(enriched系を除く)をまとめました。 strcat/strcat.pdf at master · okomok/strcat · GitHub