Strengthening track theories
Hans-Joachim Baues, Mamuka Jibladze, Teimuraz Pirashvili
TL;DR
This paper proves that groupoid enriched categories with pseudoproducts are pseudoequivalent to those with strict products using cohomology of categories with natural system coefficients.
Contribution
It introduces a cohomological approach to establish equivalences between categories with pseudoproducts and strict products.
Findings
Pseudoequivalence between groupoid enriched categories with pseudoproducts and strict products.
Application of cohomology of categories with natural coefficients to category theory.
New method for strictification of pseudoproducts in enriched categories.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Algebraic structures and combinatorial models · Advanced Topics in Algebra