  Small, finite entities are easier and simpler to manipulate than gigantic,
infinite ones. Consequently huge chunks of mathematics are devoted to methods
reducing the study of big, cumbersome objects to an analysis of their finite
building blocks. The manifestation of this general pattern, in the study of
derived and triangulated categories, dates back almost to the beginnings of the
subject -- more precisely to articles by Illusie in SGA6, way back in the early
1970s.
  What's new, at least new in the world of derived and triangulated categories,
is that one gets extra mileage from analysing more carefully and quantifying
more precisely just how efficiently one can estimate infinite objects by finite
ones. This leads one to the study of metrics on triangulated categories, and of
how accurately an object can be approximated by finite objects of bounded size.
