Category of Vector Spaces is Category

From ProofWiki
Jump to: navigation, search

Theorem

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


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

Proof