Re: Applications of (higher) category theory to computer science