2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/68065Using cohomology of categories with coefficients in natural systems it is proved that a groupoid enrichad category with pseudoproducts is pseudoequivalent to one with strict products.Category Theory18C10Strengthening track theoriestext