A non-commutative function is a mapping defined on the disjoint union of tuples of matrices of all sizes which is graded (maps matrices of a given size to matrices of the same size), respects direct sums and similarities. ...