2013-05-31 フレイド圏と豊穣圏 圏一般論 モナド プログラム意味論 "Generic Models for Computational Effect"でJohn Powerが指摘してること: J:C0→C1 という関手で、identity-on-object なものは、[→, Set]-豊穣圏の対象とみなせる。→ は、 {・→・} という圏。V-豊穣圏を作るには、Vが対称モノイド圏である必要があるが、[→, Set]のモノイド積はpointwiseな直積で与えられる。