Email Record: Algebraic foundations of non-commutative differential geometry and quantum groups