Enriched Vector Spaces
摘要
The (graded) enriched vector spaces are the duals of usual (graded) vector spaces. Since a vector space is the union of its finite dimensional subvector spaces, an enriched vector space is the inverse limit of finite dimensional vector spaces.