Fixed point theory and trace for bicategories

Kate Ponto

The Lefschetz fixed point theorem follows easily from the identification of the Lefschetz number with the fixed point index. This identification is a consequence of the functoriali…