Graph から CCC の普遍問題

Graph から CCC を作るのはできたので、普遍問題をやってるんだが

　　直積やCurry化の構造は、グラフ/公理の外にある

なので、その部分は「単にコピーするだけ」になるらしい

確かに、元の圏 A と、そのCCC である CCC A は別なので、まぁ、そうなんだけど

なので、CCC functor が単なる普通の関手でいいことに。なんだそれ? それでいいのか?