Category of Vector Spaces is Category

From ProofWiki
Jump to navigation Jump to search

Theorem

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


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

Proof