No campo matemático da teoria das categorias, FinVect (ou FdVect) é a categoria cujos objetos são todos os espaços vetoriais de dimensão finita e cujos morfismos são todas as aplicações lineares entre eles.
Propriedades FinVect possui dois produtos monoidais:
a soma direta de espaços vetoriais, que é tanto um produto categórico quanto um coproduto, o produto tensorial, que torna FinVect uma categoria fechada compacta.
Exemplos Redes de tensores são diagramas de fios (string diagrams) interpretados em FinVect.
As representações de grupos são funtores de grupos, vistos como categorias de um único objeto, para FinVect.
Modelos DisCoCat são funtores monoidais de uma gramática de pré-grupo para FinVect.
Ver também FinSet ZX-calculus Categoria de módulos
Categoria:Categorias na teoria das categorias Categoria:Dimensão Categoria:Espaços vetoriais