A-infinity categories and non-commutative algebraic geometry