積は圏論の射影とかを使った定義した対象どうしの積です。

でもすみません。できましたのでもう大丈夫です。

一般にどんなカテゴリーでも左随伴は存在するという結果になりました。
たぶんですけど。