I found this question on the sci.math bulletin board and thought it seemed interesting enough to send it here. (His first point was to recommend Mac Lane and Moerdijk's book.)
Second, I want to ask if some Topos/Sheaf fanatic have studied relationship between the generalized spaces etc of Topos theory, and the non-conmutative "spaces" of Alain Connes. I'm not expert in the matter, so I could be asking a nonsense. Anyway, a motivation for the question is that the Kronecker foliation of the bidimensional torus, which were the main example of Connes' theory, is also one principal example of Sheaf/Topos theory when used to calculate De Rham Homology. At least, it is used by Moerdijk (although not in that book) to show all the constructios of clasifiyng topos, BG etc...
-Alejandro Rivero Zaragoza Univ, Spain rivero@cc.unizar.es or rivero@sol.cie.unizar.es +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++