圏Catに普通のデカルト積を入れる。指数を関手圏とすると、デカルト閉であることをちゃんと示せ。同じ事をモノイド閉圏Mで豊饒化した状況で成立するか。M-Catが、なんらかの適切な定義のもとでモノイド閉か？

以下、ストリートが書いていたこと：まずモノイド圏Mを1つ固定する。M-豊饒化された圏を単にM-圏と呼ぶ。M-圏のレルムをM-Catとする。A, B∈|M-Cat| に対して、そのテンソル積が定義できる。 対象： |A×B| = |A|×|B| ここで×は直積 ホムセット： (A×B)(<a, b>, <a', b'>) = </a',></a,>…

即値 レジスタ内容 -- 単にレジスタ レジスタ内容をアドレスとみなしてのメモリブロック -- [レジスタ] 組み合わせを考えると： 即値 → レジスタ 即値 → [レジスタ] レジスタ → レジスタ レジスタ → [レジスタ] [レジスタ] → レジスタ [レジスタ] → [レジス…