Re: Teaching Category Theory