Moflの背景圏Moflの背景圏はMofCatとする。MofCatはPtSet上の具象圏。PtSetnonsの部分圏とみなす。ただし、PtSetnons全体は必要なくて、PtSetnons≦ω内で議論する。 MofCatは、デカルト半環圏である。×, 1, + 0, <, >, [, ] MofCatは、クリーネスターを備えて…

仏教なのかな？ 非本質〈non-essential〉、無基底〈groundless〉 相互依存性 無限階層性 多様性 自由性 非本質と無基底は同じことだから、ひとつにまとめて無本質〈essence-free〉がいいかな。"-free"は「…から逃れている」「…を使わない」「…に頼らない」の…