On 18/01/07, Johan Gršnqvist <[EMAIL PROTECTED]> 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, [EMAIL PROTECTED]
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
