圏論

Haskellにおけるモナドと圏論の関係についてこの論文が非常に参考になりました。
The Haskell Programmer's Guide to the IO Monad --- Don't Panic
関手や自然変換について、ごくごく基本的なレベルですが腹の底から理解できました。MaybeモナドやListモナド、IOモナドの仕組みもわかりました。今度は「モナドのすべて」を読みたいと思います。ところでMonadPlusに対応する概念は圏論だと何というのでしょうか？