So it's a kind of overcategory of a vector space?