What is the definition of tensor contraction? According to Wikipedia's page on tensor contraction:

In general, a tensor of type $(m,n)$ (with $m \geq 1$ and $n \geq 1$) is an element of the vector space $V \otimes \ldots \otimes V \otimes V^* \otimes \ldots \otimes V^*$ (where there are $m$ $V$ factors and $n$ $V^*$ factors).  Applying the natural pairing to the $k$th $V$ factor and the $l$th $V^*$ factor, and using the identity on all other factors, defines the $(k,l)$ contraction operation, which is a linear map which yields a tensor of type $(m-1, n-1)$.

I must admit, I'm having trouble understanding this definition.  What is the actual map?  From what I gather, the $(k,l)$ contraction of, say, $$T = X_1 \otimes \ldots \otimes X_m \otimes \omega^1 \otimes \ldots \otimes \omega^n$$ is $$C(T) = \omega^l(X_k)\cdot X_1 \otimes \ldots \otimes \widehat{X_k} \otimes \ldots \otimes X_m \otimes \omega^1 \otimes \ldots \otimes \widehat{\omega^l} \otimes \ldots \otimes \omega^n,$$
where the hats indicate omission, and $C(T)$ is just my notation for contraction.
Is this correct?  If so, is this often taken as the definition or are there other standard (equivalent) definitions?
 A: Yes, this is correct, but I don't think you should get too used to contracting indices that aren't adjacent. Most of this formalism is quite general and in particular there are contexts where you have tensor products and duals but either there is no symmetry $X \otimes Y \to Y \otimes X$ or the symmetry is nontrivial in some way, and when you contract indices that aren't adjacent in this context what you are really doing is permuting some indices, contracting some indices, then permuting some more indices, and in general you have to keep track of what you're permuting.
To be more precise, in a braided monoidal category you have distinguished isomorphisms $\gamma_{A, B} : A \otimes B \to B \otimes A$ but you aren't guaranteed that $\gamma_{A, B} \gamma_{B, A} = \text{id}$, and even when you do have this condition $\gamma_{A, B}$ doesn't necessarily do the obvious thing. For example, on the category of $\mathbb{Z}$-graded vector spaces you can introduce the braiding $a \otimes b \mapsto (-1)^{|a| |b|} b \otimes a$ where $|a|, |b|$ refers to the grading. If you don't keep track of what permutations you're doing before and after you contract, you'll drop a sign. 
A: Yes, that looks correct to me. I'm afraid I can't speak to what common alternative definitions are, however.
