The objective of this work is to generalize basic ideas from linear algebra and topology, such as traces and fixed points, into a categorical context. Each of those generalizations has important objects and ideas behind, ...