Grupos y alg C^*alg-álgebras para categorías pequeñas cancelativas izquierdas