余デカルト圏
有限余直積を持つ圏のこと
二項余直積をもち
始対象をもつ圏