Re: The Wikibook on Category Theory