From fibre bundles to categories Andrée Charles Ehresmann (1984) Cahiers de Topologie et Géométrie Différentielle Catégoriques