The Grothendieck Construction of Bipermutative-Indexed Categories and Pseudo Symmetric Inverse K-Theory
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929300769341440 |
|---|---|
| author | Yau, Donald |
| author_facet | Yau, Donald |
| contents | The Grothendieck construction is a fundamental link between indexed categories and opfibrations. This work is a detailed study of the Grothendieck construction over a small tight bipermutative category in the context of Cat-enriched multicategories, with applications to inverse K-theory and pseudo symmetric E-infinity-algebras.
The ordinary Grothendieck construction over a small category C is a 2-equivalence that sends a C-indexed category to an opfibration over C. We show that the Grothendieck construction over a small tight bipermutative category D is a pseudo symmetric Cat-multifunctor that is generally not a Cat-multifunctor in the symmetric sense. When the projection to D is taken into account, we prove that the Grothendieck construction over D lifts to a non-symmetric Cat-multiequivalence whose codomain is a non-symmetric Cat-multicategory with small permutative opfibrations over D as objects.
As applications we show that inverse K-theory, from Gamma-categories to small permutative categories, is a pseudo symmetric Cat-multifunctor but not a Cat-multifunctor in the symmetric sense. It follows that inverse K-theory preserves algebraic structures parametrized by non-symmetric and pseudo symmetric Cat-multifunctors but not Cat-multifunctors in general. As a special case, we observe that inverse K-theory sends pseudo symmetric E-infinity-algebras in Gamma-categories to pseudo symmetric E-infinity-algebras in small permutative categories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2302_00729 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | The Grothendieck Construction of Bipermutative-Indexed Categories and Pseudo Symmetric Inverse K-Theory Yau, Donald Category Theory Algebraic Topology K-Theory and Homology 18F25 The Grothendieck construction is a fundamental link between indexed categories and opfibrations. This work is a detailed study of the Grothendieck construction over a small tight bipermutative category in the context of Cat-enriched multicategories, with applications to inverse K-theory and pseudo symmetric E-infinity-algebras. The ordinary Grothendieck construction over a small category C is a 2-equivalence that sends a C-indexed category to an opfibration over C. We show that the Grothendieck construction over a small tight bipermutative category D is a pseudo symmetric Cat-multifunctor that is generally not a Cat-multifunctor in the symmetric sense. When the projection to D is taken into account, we prove that the Grothendieck construction over D lifts to a non-symmetric Cat-multiequivalence whose codomain is a non-symmetric Cat-multicategory with small permutative opfibrations over D as objects. As applications we show that inverse K-theory, from Gamma-categories to small permutative categories, is a pseudo symmetric Cat-multifunctor but not a Cat-multifunctor in the symmetric sense. It follows that inverse K-theory preserves algebraic structures parametrized by non-symmetric and pseudo symmetric Cat-multifunctors but not Cat-multifunctors in general. As a special case, we observe that inverse K-theory sends pseudo symmetric E-infinity-algebras in Gamma-categories to pseudo symmetric E-infinity-algebras in small permutative categories. |
| title | The Grothendieck Construction of Bipermutative-Indexed Categories and Pseudo Symmetric Inverse K-Theory |
| topic | Category Theory Algebraic Topology K-Theory and Homology 18F25 |
| url | https://arxiv.org/abs/2302.00729 |