In this article, we give geometric constructions of tensor products in various categories using quiver varieties. More precisely, we introduce a lagrangian subvariety Z̃ in a quiver variety, and show the following results: (1) The homology group of Z̃ is a representation of a symmetric Kac-Moody Lie algebra g, isomorphic to the tensor product V (λ1)⊗· · ·⊗V (λN ) of integrable highest weight modu...