07/07/19 に Takeo IMAI<usitukai / osk.3web.ne.jp> さんは書きました:
>  f がsplit mono である ⇔ f;g = id となるg が存在する

⇔ ではなく、⇒ でした。訂正。

-- 
IMAI Takeo <usitukai / osk.3web.ne.jp>

--
ML: haskell-jp / quickml.com
Web: http://QuickML.com/haskell-jp
使い方: http://QuickML.com/