[Haskell-cafe] Re: Article review: Category Theory

[David House]

On 18/01/07, Johan Gršnqvist <johan.gronqvist at gmail.com> wrote:
> f =  idA . f  =  (h . g) . f = h . (g . f)  = h . idB  = h
>
> Thus in the figure f=h must hold, nad one arrow can be removed from the
>   graph.

The point from here was to conclude that this graph can't represent a
category, not that f = h. You have the gist of the exercise, though!
:)

-- 
-David House, dmhouse at gmail.com