So the field k itself is some kind of trivial vector space? I feel like there's a notational pun I'm missing.