Bourbaki & category theory