プログラミングにおいての圏論

Haskellなどの紹介に出てくる圏論ですが、どういう役割のもので、学ぶとどういったメリットがあるのでしょうか。
ざっと見てみたところ、数学を抽象化するためのものみたいですが（違っていたらすみません）。自分が期待しているのは、各種アルゴリズムを抽象的に扱えるようになるのかなということなんですが、そういった効果はあるのでしょうか。