Non-Commutative Geometry, Categories and Quantum Physics

After an introduction to some basic issues in non-commutative geometry (Gel'fand duality, spectral triples), we present a "panoramic view" of the status of our current research program on the use of categorical methods in the setting of A.Connes' non-commutative geometry: morphisms/categories of spectral triples, categorification of Gel'fand duality. We conclude with a summary of the expected applications of "categorical non-commutative geometry" to structural questions in relativistic quantum physics: (hyper)covariance, quantum space-time, (algebraic) quantum gravity.