We present a version of "Gel'fand duality theorem" for commutative full C*-categories and we discuss its relevance in a wider research project aiming at the development of categorical methods in the context of A.Connes' non-commutative geometry.