While not obvious from its initial motivation in linear algebra, there are many contexts where iterated traces can be defined. We prove a very general theorem about iterated –categorical traces. We show that many Lefschetz-type theorems in the literature are consequences of this result and the new perspective we provide allows for immediate spectral generalizations.
"Iterated traces in –categories and Lefschetz theorems." Algebr. Geom. Topol. 22 (2) 815 - 879, 2022. https://doi.org/10.2140/agt.2022.22.815