# Category of Vector Spaces is Category

## Theorem

Let $\mathbf{Vect}$ be the category of vector spaces.

Then $\mathbf{Vect}$ is a metacategory.