18 Jan
2007
18 Jan
'07
12:07 p.m.
On 18/01/07, Johan Gršnqvist
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@gmail.com