Homotopy linear algebra

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

Research output: Contribution to journalArticleResearchpeer-review

7 Citations (Scopus)

Abstract

Copyright © Royal Society of Edinburgh 2018. By homotopy linear algebra we mean the study of linear functors between slices of the ∞-category of ∞-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices into ∞-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 and Walker compatible with this duality. We needed these results to support our work on incidence algebras and Möbius inversion over ∞-groupoids; we hope that they can also be of independent interest.
Original languageEnglish
Pages (from-to)293-325
JournalProceedings of the Royal Society of Edinburgh Section A: Mathematics
Volume148
Issue number2
DOIs
Publication statusPublished - 1 Apr 2018

Keywords

  • duality
  • homotopy cardinality
  • homotopy finiteness
  • infinity-groupoids
  • linear algebra

Fingerprint Dive into the research topics of 'Homotopy linear algebra'. Together they form a unique fingerprint.

  • Cite this