圏論で使うTeX数式
圏論の可換図式をLaTeXで描く方法 - Haskell勉強会