はじめに 圏論が数学のみならず幅広い自然科学の分野で利用されるに従って、これから専門的に圏論を学習したいという人がますます増えてくると予想されます。 また Haskell 等の関数型言語を勉強する中で、圏論について専門的に勉強するまではいかないけどど…