What do the trace of a matrix, the cycle type of a permutation, and the Euler characteristic of a CW complex have in common? In this talk I will investigate the key categorical properties of the trace of a matrix and show how we can generalize this idea to talk about 'traces' in other contexts.
The universal property of the trace