たけをです。

 細かい定義とかは省略しますが、
 f がsplit mono である ⇔ f;g = id となるg が存在する
ということなので、あとは g;f ＝ id である ことを示せば f が isomorphism
だといえます。

 さて、f = id;f = f;g;f で、かつ、f は epiです。

 というところで、どうでしょうか。

07/07/19 に NONAKA Akira<nonaka / mac.com> さんは書きました:
> 野中です。
>
> "Categories for Software Engineering"という本の練習問題で２日
> 程、悩んでいます。
>
> 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/
>


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

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