Inversion, Iteration, and the Art of Dual Wielding

Robin Kaarsgaard

The humble $†$ ("dagger") is used to denote two different operations in category theory: Taking the adjoint of a morphism (in dagger categories) and finding the least fixed p…