Bivariations and tensor products

Document Type : Regular Paper

Authors

Department of Mathematics, Center of Excellence in Algebraic and Logical Structures in Discrete Mathematics, Shahid Beheshti University, G. C., Tehran, Iran

Abstract

The ordinary tensor product of modules is defined using bilinear maps (bimorphisms), that are linear in each
component. keeping this in mind, Linton and Banaschewski with Nelson defined and studied the tensor product in an equational category and in a general (concrete) category K, respectively, using bimorphisms, that is, defined via the Hom-functor on K. Also, the so-called sesquilinear, or one and a half linear maps and the corresponding tensor products generalize these notions for modules and vector spaces. In this paper, taking a concrete category K and an arbitrary subfunctor H of the functor U¢ = Hom  (Uop ´U) rather than just the Hom-functor, where U is the underlying set functor on K, we generalize sesquilinearity to bivariation and study the related notions such as functional internal lifts, universal bivariants, tensor products, and their interdependence.

Keywords

Iranian Journal of Science
Volume 35, Issue 2 - Serial Number 2
May and June 2011
Pages 117-124

Files

Share

How to cite

Statistics