Re: Computing with Category Theory