2008-04-16 自然数が対象の圏 用語法 自然数(非負整数)集合が対象である圏をなんか呼び名があったような。PROだかPRODだか、うーんと? グレアム・シーガル(Graeme Segal)が言っていたのだっけ?オペラッドが自然数を対象とする複圏?