2009-07-22 今、OCatが面白い 高次圏論 「今」とかいう惹句はどうでもいい悪のり。Ordを順序集合(poset)と単調写像の圏とする。Ordで豊饒化された圏、つまりOrd-CatをOcatとする。固有名詞だからOCatとすべきだろうが、めんどうだから普通字体。(後で続き)