Reference articles on history, science, culture and more
Surprise meSurprise meSubscribe
Encyclopedia

FinVect

Category of finite-dimension vector spaces

Wikipedia contributorsAdapted for Fathomly · View authors
1 min read
Source updated November 26, 2025

In the mathematical field of category theory, FinVect (or FdVect) is the category whose objects are all finite-dimensional vector spaces and whose morphisms are all linear maps between them.

01Properties

FinVect has two monoidal products:

02Examples

Tensor networks are string diagrams interpreted in FinVect.

Group representations are functors from groups, seen as one-object categories, into FinVect.

DisCoCat models are monoidal functors from a pregroup grammar to FinVect.

Watch videos about FinVectExplainers and documentaries on YouTube (opens in a new tab)

Sources and credits

This article is adapted from the Wikipedia article “FinVect”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.

Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.

Continue exploring

Related topics

FinSet

In the mathematical field of category theory, FinSet is the category whose objects are all finite sets and whose morphisms are all functions between them. FinOrd is the category whose objects are all finite ordinal numbers and whose morphisms are all functions between them.

ZX-calculus

The ZX-calculus is a graphical language. It was conceived for reasoning about linear maps between qubits, which are represented as string diagrams called ZX-diagrams.

Category of modules

In algebra, given a ring R {\displaystyle R} , the category of left modules over R {\displaystyle R} is the category whose objects are all left modules over R {\displaystyle R} and whose morphisms are all module homomorphisms between left R {\displaystyle R} -modules. For example, when R {\displaystyle R} is the ring of integers Z {\displaystyle \mathbb {Z} } , it is the same thing as the category of abelian groups.