bicategoryとpseudofunctorについて bicategory in nLab pseudofunctor in nLab 書こうと思ったが大変なので適当に。 まずbicategoryとは次のようなデータからなる。 - 0-cellもしくは対象と呼ばれるものの集まりx, y, \ldots - 0-cell x, yに対し圏B(x,y)が…