Crossed modules in C a t and a Brown-Spencer theorem for 2 -categories Timothy Porter (1985) Cahiers de Topologie et Géométrie Différentielle Catégoriques