Homotopy linear algebra
Research output: Contribution to journal › Journal article › Research › peer-review
By homotopy linear algebra we mean the study of linear functors between slices of the infinity-category of infinity-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices into infinity-categories to model the duality between vector spaces and profinite-dimensional vector spaces, and set up a global notion of homotopy cardinality a la Baez, Hoffnung and Walker compatible with this duality. We needed these results to support our work on incidence algebras and Mobius inversion over infinity-groupoids; we hope that they can also be of independent interest.
Original language | English |
---|---|
Journal | Proceedings of the Royal Society of Edinburgh Section A: Mathematics |
Volume | 148 |
Issue number | 2 |
Pages (from-to) | 293-325 |
Number of pages | 33 |
ISSN | 0308-2105 |
DOIs | |
Publication status | Published - Apr 2018 |
Externally published | Yes |
- infinity-groupoids, homotopy cardinality, homotopy finiteness, duality, linear algebra
Research areas
ID: 331498191