標的圏

関手の余域は特に標的圏（target category）と呼ぶことにする。いつもじゃないけど。余域や値という言葉を使うと混乱する場合がある。そんなときに「標的」とする。

Cを標的圏とする関手は、C標的関手（C-targeted functor）と呼ぶ。