Homotopy linear algebra

Imma Gálvez-Carrillo, Joachim Kock, Andrew Tonks

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…