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