By homotopy linear algebra we mean the study of linear functors between slices of the 8-category of 8-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices into 8-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-Walker compatible with this duality. We needed these results to support our work on incidence algebras and M\
CitationGalvez, M., Kock, J., Tonks, A. "Homotopy linear algebra". 2016.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder. If you wish to make any use of the work not provided for in the law, please contact: email@example.com