":::::Yes, well, the less-abstract articles dealing with the same subject can be found at nuclear operator, trace-class and Fredholm operator. I tried to untangle these as best as I can; that's why the intro points back to Fredholm theory for the ""big picture"". I suppose this article could be renamed as ""Grothendieck's theory of Fredholm kernels"" but I don't like that title   

"