[FelipeC]

En el libro de Mc Lane está como ejercicio, pero el Hint lo resuelve casi todo, sólo hay que rellenar detalles. Aquí lo encuentras en la página 21:

http://books.google.com.co/books?id=eBvhyc4z8HQC&printsec=frontcover&dq=categories+for+the+working+mathematician&hl=es&ei=eHZxTLD1HsP_lgfAzZyZDw&sa=X&oi=book_result&ct=book-thumbnail&resnum=1&ved=0CCwQ6wEwAA#v=onepage&q&f=false