Productos tensoriales: Si "C" denota la categoría de los espacios vectoriales sobre un cuerpo fijado, con las aplicaciones lineales como morfismos, entonces el producto tensorial "V" [símbolo] "W" define un funtor "C" × "C" → "C" que es covariante en ambos argumentos.