On Leinster’s Eventual Image Duality (and the relation to Drazin inverses)

JS Lemay – 24 April 2024

Last time I talked about Drazin inverses in categories and mentioned that there was a link between Drazin inverses and Leinster’s notion of eventual image duality. This week, I’ll give a survey of Leinster’s eventual image duality (https://arxiv.org/abs/2210.00302) going over the definition, basic properties, and main examples. Afterwards, I’ll explain how Drazin split endomorphisms have eventual image duality (https://arxiv.org/pdf/2402.18226.pdf).