Re: Bourbaki and category theory again