2015-12-02 Haskellで学ぶ圏論・入門編 - 目次 目次(Haskell) 1.写像を対象に 2.写像を対象に(モノイド圏) 3.写像で扱うことの利点(1)、(2)、(3) 4.デカルト圏論(理論) 5.デカルト圏論(応用)