Eilenberg-Watts theorem in nLab pseudofunctorの例として以下のようなものを考える。 algebraとbimoduleのなすbicategoryからCatへのpseudofunctorを - 0-cellの対応としては、R-algebra xに対してx上の加群の圏Mod_xを対応させる - 0-cell x, yに対して、…