  We study the coinduction functor on the category of FI-modules and its
variants. Using the coinduction functor, we give new and simpler proofs of
(generalizations of) various results on homological properties of FI-modules.
We also prove that any finitely generated projective VI-module over a field of
characteristic 0 is injective.
