Bourbaki, Ehresmann & species of structures