Category of real vector spaces