Isomorphisms and splitting of idempotents in semicategories Lutz Schröder (2000) Cahiers de Topologie et Géométrie Différentielle Catégoriques