Monoidal categories

Linear algebra



Given a field kk, the category Vect kVect_k is category whose objects are vector spaces and whose morphisms are linear maps.

If the field kk is understood, one often just writes VectVect.

The study of VectVect is called linear algebra.

The full subcategory of Vect consisting of finite-dimensional vector spaces is denoted FinVect\Fin Vect.

This is a compact closed category (see here).

FinVect\Fin Vect is where most of ordinary linear algebra lives, although much of it makes sense in all of VectVect. See also at finite quantum mechanics in terms of dagger-compact categories.

On the other hand, anything involving transposes or inner products really takes place in FinFin Hilb.

category: category

Revised on February 8, 2017 12:04:32 by Urs Schreiber (