Download Algebraic Fredholm Theory [Expository Notes]