すまん、早速質問というか確認。

>I は恒等函手、+ は直和、×は直積。

直積Xって積圏作る函手でしょ。
直和＋ってアーベリアンな積圏作る函手ってこと？