TRIPLE
DIRAC
DISTANCE
SPECTRAL TRIPLE // Connes noncommutative geometry