end in nLab CをV-catとする。x, y \in Cに対し、Hom_V(1,C(x,y))を考えると、これは集合。 特にVをV-catと見る、つまりinternal hom x^yをV(x,y)とすることでV-catの構造を定めると、上の操作で元のVの通常の圏としてのHom_V(x,y)は Hom_V(1,V(x,y)) = Hom_…