Linear Structure

Abstract

Many aspects of linear algebra can be reformulated as categorical structures. This chapter examines abstractions of the base field, zero-dimensional spaces, addition of linear operators, direct sums, matrices, inner products and adjoints. These features are essential for modelling features of quantum theory such as superposition, classical data and measurement.