There is a Beck's theorem for Karoubian triangulated categories, proposed by Konstevich and Rosenberg in July 2004, which is proved by using the Verdier's abelianization functor and graded monads; see page 36 of A. Rosenberg, Topics in noncommutative algebraic geometry, homological algebra and K-theory, preprint MPIM Bonn 2008-57, <a href="http://mpim-bonn.mpg.de/preprints/send?bid=3589">pdf</a>. 

In fact they got simulatenously (July 15, 2004) both versions: A-infinity and triangulated. The reference to the triangulated is above: while for A-infinity there is no write up, but Kontsevich gave a talk (I think Nov 2004, van den Bergh birthday conference) where he formulated and used the result; one of nice applications was to glue certain ordinary commutative schemes to get certain formal schemes. I remember very well the weeks preceding the result when we discussed possible shape of the result seeked at IHES. Later at the conference in <a href="http://www.irb.hr/korisnici/zskoda/catconf.html">Split</a>, Kontsevich gave a talk where he gave some usages in noncommutative algebraic geometry.