Homotopy linear algebra

DOI10.1017/S0308210517000208MaRDI QIDQ4608911zbMATH OpenFDO

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

Publication date 29 March 2018

Published in Proceedings of the Royal Society of Edinburgh: Section A Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1602.05082

zbMATH Keywords

dualityhomotopy cardinalityhomotopy finitenessinfinity-groupoidslinear algebra

Mathematics Subject Classification ID

Basic linear algebra (15A99) Simplicial sets, simplicial objects (18N50) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Duality theory for topological vector spaces (46A20) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

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 `a la Baez-Hoffnung-Walker compatible with this duality. We needed these results to support our work on incidence algebras and M"obius inversion over $infty$-groupoids; we hope that they can also be of independent interest.

Recommendations

• Polynomial hull of a torus fibered over the circle
• Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
• Hopf monoids in the category of species
• Higher dimensional algebra. VII: Groupoidification
• Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals

Cited in

(19)

• Homotopy techniques in linear programming
• Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
• Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
• Incidence bicomodules, Möbius inversion and a Rota formula for infinity adjunctions
• The incidence comodule bialgebra of the Baez-Dolan construction
• A simplicial groupoid for plethysm
• Polynomial functors and combinatorial Dyson-Schwinger equations
• Polynomial hull of a torus fibered over the circle
• Faà di Bruno for operads and internal algebras
• Antipodes of monoidal decomposition spaces
• Plethysms and operads
• Whole-grain Petri nets and processes
• Frobenius and commutative pseudomonoids in the bicategory of spans
• A geometrical description of untwisted 3d Dijkgraaf-Witten TQFT with defects
• Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals
• The decomposition space perspective
• Hall algebras via 2-Segal spaces
• Decomposition spaces in combinatorics
• Corrigendum to: ``Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness

This page was built for publication: Homotopy linear algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4608911)