Homotopy linear algebra
Abstract
By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices into $\infty$-categories to model the duality between vector spaces and profinite-dimensional vector spaces, and set up a global notion of homotopy cardinality à la Baez-Hoffnung-Walker compatible with this duality. We needed these results to support our work on incidence algebras and Möbius inversion over $\infty$-groupoids; we hope that they can also be of independent interest.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2016
- DOI:
- 10.48550/arXiv.1602.05082
- arXiv:
- arXiv:1602.05082
- Bibcode:
- 2016arXiv160205082G
- Keywords:
-
- Mathematics - Category Theory;
- Mathematics - Algebraic Topology;
- 18-XX;
- 55Pxx;
- 46A20;
- 15Axx;
- 37F20
- E-Print:
- 32 pages. This paper is one of six papers that formerly constituted the long manuscript arXiv:1404.3202. v2: slight notation changes and expository improvements. Final version, to appear in Proc Royal Soc. Edinburgh A