Finite approximations as a tool for studying triangulated categories

TL;DR

This paper explores how finite approximations can be effectively used to analyze and estimate infinite objects within triangulated categories, introducing metrics to quantify approximation accuracy.

Contribution

It introduces the concept of metrics on triangulated categories, enabling precise quantification of how well finite objects approximate infinite ones.

Findings

Development of a framework for finite approximations in triangulated categories

Quantitative analysis of approximation efficiency

Enhanced understanding of the relationship between finite and infinite objects

Abstract

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.