"Generic Models for Computational Effect"でJohn Powerが指摘してること： J:C0→C1 という関手で、identity-on-object なものは、[→, Set]-豊穣圏の対象とみなせる。→ は、 {・→・} という圏。V-豊穣圏を作るには、Vが対称モノイド圏である必要があるが、[…