Para tomar un rumbo diferente de Qiaochu la gran respuesta, vamos a echar un vistazo a estos objetos desde el punto de vista de Álgebra General.
Todos estos objetos son "álgebras de" en el sentido del Álgebra General: son un conjunto $S$, junto con una familia de finitary operaciones en $S$ (un finitary operación $S$ es un mapa de $S^n\to S$ donde $n$ es un entero no negativo), junto con un conjunto de identidades que están satisfechos.
Por ejemplo, un semigroup es un álgebra de tipo $(2)$ (lo que significa que tiene una única operación binaria), $(S,\cdot)$, sujeto a la identidad de $(a\cdot b)\cdot c = a\cdot(b\cdot c)$ (usando la notación de infijo). Un monoid es un álgebra de tipo $(2,0)$, $(M,\cdot,e)$, (un "nullary" operación $M$ es un mapa de $\{\varnothing\}\to M$, por lo que corresponde a un distinguido elemento de $M$), sujeto a las identidades $(a\cdot b)\cdot c = a\cdot(b\cdot c)$, $a\cdot e = a$, y $e\cdot a = a$. Un grupo es un álgebra de tipo $(2,1,0)$ (unario operación es la operación que asigna a cada elemento a su inverso), sujeto a ciertas identidades. Agregar la identidad $a\cdot b = b\cdot a$ y se obtiene abelian grupos. Un anillo es un álgebra de tipo $(2,2,1,0)$ (adición, multiplicación, inversos aditivos, aditivo cero); un anillo con unidad sería $(2,2,1,0,0)$.
Un espacio vectorial sobre $F$ es un álgebra de que, además del binario, unario, y nullary operaciones que determinan su estructura aditiva como un grupo abelian, tiene una única operación para cada elemento de a $F$, que corresponde a la multiplicación escalar. Los axiomas de un espacio vectorial se traducen en las identidades. $R$-los módulos se definen de manera similar, con una única operación para cada elemento de la $R$. $K$-álgebras son definidas como espacios vectoriales, pero tienen un extra de operación binaria (el producto en el área de álgebra).
Advertencia. No todos los estándar de estructura puede ser descrito como un álgebra general. Por ejemplo, los campos no puede ser descrito como un álgebra general en este camino, porque el inverso multiplicativo no es una función en la totalidad el campo: es indefinido en $0$. Hay una generalización de la llamada "Parcial Álgebras", que permiten "parcialmente definido por las operaciones", pero su teoría es mucho más complicado.
Ahora, considere la relación entre semigroups y grupos. Si nos fijamos en un grupo, $(G,\cdot, ^{-1}, e)$, luego por el "olvido" de la operación $^{-1}$ $e$ y todas las identidades que se imponen en las operaciones, se obtiene una estructura que cumple con todos los requisitos para ser un semigroup: tenemos un conjunto, $G$, una operación binaria $\cdot$, y la operación es asociativa. Que es: cada grupo puede ser considerado un semigroup por el "olvido" de parte de su estructura. Asimismo, cada grupo abelian puede ser considerada como un grupo de "olvidar" que se requiere la identidad de $ab=ba$ a ser satisfecho. Cada anillo puede ser considerada como un grupo abelian por el "olvido" sobre la multiplicación. Cada espacio vectorial sobre $F$ pueden ser consideradas como un grupo abelian por el "olvido" acerca de la multiplicación escalar. Cada $F$-álgebra puede ser considerado como un $F$-espacio vectorial en el olvido de la multiplicación de los elementos del álgebra. Etc.
Todo esto puede ser hecho preciso con la noción de un olvidadizo functor. La idea es no formal, así que no puedo definir directamente, pero parafraseando a la Justicia Potter Stewart, "usted sabe que cuando lo vea". El más común de los olvidadizos functor es el "conjunto subyacente functor", que asigna un álgebra a su conjunto subyacente. (La categoría de conjuntos puede ser visto como una categoría de álgebras, en el que la colección de actuación es vacía).
Una cosa buena acerca de olvidadizo functors entre las categorías de álgebras es que ellos siempre han dejado adjoints. Si $\mathbf{U}\colon \mathcal{A}\to\mathcal{B}$ es olvidadizo functor entre las categorías de álgebras, entonces existe un functor $\mathbf{F}\colon \mathcal{B}\to\mathcal{A}$ tal que para todos los objetos de $A\in\mathcal{A}$$B\in\mathcal{B}$,
$$\mathrm{Hom}_{\mathcal{B}}(B,\mathbf{U}(A)) \cong \mathrm{Hom}_{\mathcal{A}}(\mathbf{F}(B),A).$$
En esta situación, $\mathbf{F}$ se dice que es de izquierda adjunto de $\mathbf{U}$ (observe que se produce en la entrada izquierda de la $\mathrm{Hom}$).
Por ejemplo, el olvido de la función de $\mathsf{Group}$ $\mathsf{Set}$tiene el "grupo" functor de $\mathsf{Set}$ $\mathsf{Group}$adjunto: hay un natural de una correspondencia uno a uno entre el conjunto de la teoría de los mapas de entre un conjunto $X$ y el conjunto subyacente de un grupo de $A$, y el grupo de homomorphisms entre el grupo libre en $X$ y el grupo de $A$. Otro ejemplo: el olvido functor $\mathbf{U}\colon\mathsf{AbGroup}\to \mathsf{Group}$ tiene el adjoint $\mathbf{F}\colon \mathsf{Group}\to\mathsf{AbGroup}$ que envía cada grupo $G$ a su abelianization.
Ahora, supongamos que el $F$ $K$ son los campos, $F\subseteq K$. Si se consideran las categorías $F$-$\mathsf{VecSpace}$ y $K$-$\mathsf{VecSpaces}$, hay una natural olvidadizo functor de la última a la primera: sólo se "olvidan" cómo multiplicar por escalares que no están en $F$. ¿Cuál es el adjunto de este olvidadizo functor? Es el producto tensor! Dado un $F$-espacio vectorial $V$ $K$- espacio vectorial $W$, tenemos (el uso de $\mathrm{Lin}_F$ para denotar la colección de $F$-lineal mapas),
$$\mathrm{Lin}_F(V,U(W)) \cong \mathrm{Lin}_K(V\otimes_FK,W).$$
Por lo que el medico adjunto del conjunto subyacente functor es el producto tensor con $K$. Este es el mismo de la construcción por módulos, donde un homomorphism $f\colon A\to B$ nos permite definir un olvidadizo functor de $B$-$\mathsf{Mod}$ a $A$-$\mathsf{Mod}$ por dar un $B$-módulo de $M$ $A$- estructura del módulo $a\cdot m = f(a)m$.
Así que uno puede ver tensor de productos como un caso particular del fenómeno de el medico adjunto olvidadizo functor, y así generalizar en esa dirección. (Aunque hay otras funciones que el producto tensor desempeña; por ejemplo, entre conmutativa anillos, visto como $\mathbb{Z}$-álgebras, el producto tensor es el subproducto de dos objetos). Personalmente, yo diría que este es el concepto correspondiente a "tensoring" en la configuración general.
Como siempre: si desea una introducción al Álgebra General, particularmente a partir de la categoría de punto de vista, recomiendo George Bergman es Una invitación a Álgebra General y Universal de Construcciones, disponible en su sitio web como archivos PDF. Hay una discusión de olvidadizo functors en el Capítulo 6, y de functor adjunto pares en el Capítulo 7.