野中です。

"Categories for Software Engineering"という本の練習問題で2日 
程、悩んでいます。

f is epi and split mono  -> f is isomorphism を示せ。

というものです。epi,split mono,isoporphismの、その本の定義 
を書いた方がいいのかもしれませんが、事務所に置いてきてしまったも 
ので...
どなたか、ヒントでも!
--
Akira Nonaka
http://homepage.mac.com/nonaka/




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