Strengthening track theories
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Using 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.