[Haskell-cafe] Re: Article review: Category Theory
David House
dmhouse at gmail.com
Thu Jan 18 12:07:25 EST 2007
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
More information about the Haskell-Cafe
mailing list