ホム関手に似たナニカ

Cがデカルト半環圏（むしろ、このケースでは双デカルト圏というべき）のとき、C^op×C→Cat という双関手が作れる。これは双インデックス付き圏となる。どことなくホム関手とも似ている。