Higher Linear Algebra In Topology And Quantum Information Theory