圏論の一つの利点としていわば車輪を２度発明しなくていいというのがある
圏論の一つの定理を証明しておけば数学のいろいろな分野で同じように
行われていたかもしれない多数の証明が不要になる。
もう一つの圏論の利点はその双対性
圏論の１個の定理を証明すればその双対定理の証明は不要である。
一石二鳥